source: src/LTL/LTL_semantics.ma @ 2845

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

ERTLptr to LTL correctness proof started

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