Changeset 2697 for src/ERTLptr/ERTLptrToLTL.ma
- Timestamp:
- Feb 22, 2013, 12:13:51 PM (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/ERTLptr/ERTLptrToLTL.ma
r2694 r2697 441 441 qed. 442 442 443 definition ertl _to_ltl: ertlptr_program → ltl_program ≝443 definition ertlptr_to_ltl: ertlptr_program → ltl_program ≝ 444 444 b_graph_transform_program … translate_data.
Note: See TracChangeset
for help on using the changeset viewer.