Changeset 1089 for src/LTL/LTL.ma


Ignore:
Timestamp:
Jul 27, 2011, 5:50:25 PM (10 years ago)
Author:
mulligan
Message:

more changes from earlier in the week

File:
1 edited

Legend:

Unmodified
Added
Removed

  • src/LTL/LTL.ma

    r1082 r1089  
    33include "LIN/LIN.ma".
    44
    5 definition ltl_statement ≝ joint_statement ident.
     5definition ltl_statement ≝ joint_statement label.
    66 
    77definition ltl_statement_graph ≝ λglobals. graph (ltl_statement globals).
Note: See TracChangeset for help on using the changeset viewer.