Changeset 1270 for src/LTL/LTL.ma
- Timestamp:
- Sep 26, 2011, 3:59:28 PM (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/LTL/LTL.ma
r1269 r1270 2 2 3 3 definition ltl_params_: params_ ≝ 4 mk_params_ (mk_params__ unit unit unit unit registers_move Register False unit unit unit) label.4 mk_params_ (mk_params__ unit unit unit unit registers_move Register nat unit False unit unit unit) label. 5 5 6 6 definition ltl_statement ≝ joint_statement ltl_params_.
Note: See TracChangeset
for help on using the changeset viewer.