source: src/LTL/ @ 2490

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

changed joint's stack pointer and internal stack

File size: 185 bytes
1include "LIN/".
2include "LTL/". (* CSC: in RTLabs *)
4definition LTL_semantics : sem_params ≝
5  make_sem_graph_params LTL LTL_LIN_semantics.
Note: See TracBrowser for help on using the repository browser.