source: src/LTL/ @ 2898

Last change on this file since 2898 was 2845, checked in by piccolo, 8 years ago

ERTLptr to LTL correctness proof started

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