Changeset 1164 for src/LTL/LTL.ma
- Timestamp:
- Sep 1, 2011, 4:53:01 PM (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/LTL/LTL.ma
r1163 r1164 4 4 5 5 definition ltl_statement ≝ 6 λglobals. 7 joint_statement label globals Register 6 joint_statement label Register Register 8 7 Register Register Register 9 Register (Register × Register).8 registers_move. 10 9 11 10 definition ltl_statement_graph ≝ λglobals. graph (ltl_statement globals).
Note: See TracChangeset
for help on using the changeset viewer.