 Timestamp:
 Jul 20, 2011, 5:17:38 PM (9 years ago)
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

src/LTL/LTL.ma
r757 r1082 11 11 ltl_if_luniverse: universe LabelTag; 12 12 ltl_if_runiverse: universe RegisterTag; 13 ltl_if_ StackSize: nat;14 ltl_if_ Graph: ltl_statement_graph globals;15 ltl_if_ Entry: label;16 ltl_if_ Exit: label13 ltl_if_stacksize: nat; 14 ltl_if_graph: ltl_statement_graph globals; 15 ltl_if_entry: Σl: label. lookup ? ? ltl_if_graph l ≠ None ?; 16 ltl_if_exit: Σl: label. lookup ? ? ltl_if_graph l ≠ None ? 17 17 }. 18 18
Note: See TracChangeset
for help on using the changeset viewer.