Changeset 1269
- Timestamp:
- Sep 26, 2011, 3:06:35 PM (9 years ago)
- Location:
- src
- Files:
-
- 2 edited
-
ERTL/ERTL.ma (modified) (1 diff)
-
LTL/LTL.ma (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
src/ERTL/ERTL.ma
r1254 r1269 1 1 include "joint/Joint.ma". 2 include alias "common/Graphs.ma".3 2 4 3 inductive move_registers: Type[0] ≝ -
src/LTL/LTL.ma
r1252 r1269 1 1 include "joint/Joint.ma". 2 include alias "common/Graphs.ma".3 2 4 3 definition ltl_params_: params_ ≝
Note: See TracChangeset
for help on using the changeset viewer.
