Changeset 1161 for src/LTL


Ignore:
Timestamp:
Aug 31, 2011, 6:24:03 PM (8 years ago)
Author:
mulligan
Message:

changes from today: merged ertl, ltl and lin into one datatype to simplify semantics

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/LTL/LTL.ma

    r1132 r1161  
    33include "LIN/LIN.ma".
    44
    5 definition ltl_statement ≝ joint_statement label.
     5definition ltl_statement ≝
     6  λglobals.
     7    joint_statement label globals .
    68 
    79definition ltl_statement_graph ≝ λglobals. graph (ltl_statement globals).
Note: See TracChangeset for help on using the changeset viewer.