source: src/LIN/semantics_paolo.ma @ 2244

Last change on this file since 2244 was 2217, checked in by tranquil, 9 years ago
  • collapsed step_params, unserialized_params, funct_params and local_params into one (unserialized_params)
  • completed update of RTL, LTL and LIN semantics
File size: 200 bytes
Line 
1include "LIN/joint_LTL_LIN_semantics_paolo.ma".
2include "LIN/LIN_paolo.ma". (* CSC: syntax.ma in RTLabs *)
3
4definition LIN_semantics : sem_params ≝
5  make_sem_lin_params LIN (LTL_LIN_semantics ?).
Note: See TracBrowser for help on using the repository browser.