source: src/LIN/semantics.ma @ 2443

Last change on this file since 2443 was 2443, checked in by tranquil, 7 years ago

changed joint's stack pointer and internal stack

File size: 184 bytes
Line 
1include "LIN/joint_LTL_LIN_semantics.ma".
2include "LIN/LIN.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.