Changeset 1378 for src/LTL/semantics.ma
- Timestamp:
- Oct 14, 2011, 7:32:21 PM (9 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/LTL/semantics.ma
r1377 r1378 27 27 λl.λ_.λ_.λ_.λ_.λst.save_ra … st l. 28 28 29 definition ltl_more_sem_params1 : more_sem_params1 … ltl_ params1 ≝30 mk_more_sem_params1 ? ltl_ params1 ltl_more_sem_params29 definition ltl_more_sem_params1 : more_sem_params1 … ltl_lin_params1 ≝ 30 mk_more_sem_params1 ? ltl_lin_params1 ltl_more_sem_params 31 31 ltl_init_locals ltl_pop_frame ltl_save_frame. 32 32
Note: See TracChangeset
for help on using the changeset viewer.