Changeset 3481
- Timestamp:
- Sep 22, 2014, 5:36:13 PM (6 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
LTS/Language.ma
r3480 r3481 2386 2386 cases(H … EQenv_it) -H #env_it' * #fresh' ** #is_fresh_fresh' 2387 2387 #EQenv_it' ***** #EQtrans 2388 #EQgen_labels #EQsignature #EQlab_env_it #same_map #same_keep cases daemon (*CSC: WAS WORKING2388 #EQgen_labels #EQsignature #EQlab_env_it #same_map #same_keep 2389 2389 change with (m_bind ?????) in EQclean : (??%?); inversion(call_post_clean ?????) in EQclean; 2390 2390 [ #_ whd in ⊢ (??%% → ?); #EQ destruct] * #abs_top'' #i'' #EQi' >m_return_bind … … 2435 2435 ] 2436 2436 | whd in ⊢ (??%% → ?); #EQ destruct(EQ) 2437 ] *)2437 ] 2438 2438 ] 2439 2439 | #st1 #st2 #st3 #st4 #st5 #l1 #l2 #H inversion H in ⊢ ?;
Note: See TracChangeset
for help on using the changeset viewer.