Changeset 2845 for src/LTL/LTL_semantics.ma
- Timestamp:
- Mar 11, 2013, 6:50:48 PM (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/LTL/LTL_semantics.ma
r2783 r2845 2 2 include "LTL/LTL.ma". (* CSC: syntax.ma in RTLabs *) 3 3 4 definition LTL_semantics : sem_params≝4 definition LTL_semantics ≝ 5 5 mk_sem_graph_params LTL LTL_LIN_semantics.
Note: See TracChangeset
for help on using the changeset viewer.