Changeset 3482 for LTS/Language.ma
- Timestamp:
- Sep 22, 2014, 5:46:31 PM (6 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
LTS/Language.ma
r3481 r3482 2503 2503 lapply(trans_env_ok … no_dup) >EQtrans normalize nodelta #H 2504 2504 cases(H … EQenv_it) -H #env_it' * #fresh' ** #is_fresh_fresh' #EQenv_it' ***** #EQtrans 2505 #EQgen_labels #EQsignature #EQlab_env_it #same_map #same_keep cases daemon (*CSC: was working2505 #EQgen_labels #EQsignature #EQlab_env_it #same_map #same_keep 2506 2506 change with (m_bind ?????) in EQclean : (??%?); inversion(call_post_clean ?????) in EQclean; 2507 2507 [ #_ whd in ⊢ (??%% → ?); #EQ destruct] * #abs_top'' #i'' #EQi' >m_return_bind … … 2549 2549 | * [|#x1] #EQ destruct normalize nodelta whd in ⊢ (??%% → ?); 2550 2550 #EQ destruct ****** [2: *] #EQ destruct 2551 | #EQ whd in ⊢ (??%% → ?); #EQ1 destruct *****2552 2551 ] 2553 2552 ]
Note: See TracChangeset
for help on using the changeset viewer.