source: src/LTL/semantics.ma @ 1381

Last change on this file since 1381 was 1381, checked in by sacerdot, 9 years ago

Old commented out code removed.

File size: 223 bytes
Line 
1include "LIN/joint_LTL_LIN_semantics.ma".
2include "LTL/LTL.ma". (* CSC: syntax.ma in RTLabs *)
3
4definition ltl_fullexec ≝
5 ltl_lin_fullexec … (graph_succ_p …) … (graph_fetch_statement … (ltl_lin_sem_params …)).
Note: See TracBrowser for help on using the repository browser.