Changeset 3482 for LTS


Ignore:
Timestamp:
Sep 22, 2014, 5:46:31 PM (5 years ago)
Author:
sacerdot
Message:

No more daemons, all code repaired.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • LTS/Language.ma

    r3481 r3482  
    25032503    lapply(trans_env_ok … no_dup) >EQtrans normalize nodelta #H
    25042504    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 working
     2505    #EQgen_labels #EQsignature #EQlab_env_it #same_map #same_keep
    25062506    change with (m_bind ?????) in EQclean : (??%?); inversion(call_post_clean ?????) in EQclean;
    25072507    [ #_ whd in ⊢ (??%% → ?); #EQ destruct] * #abs_top'' #i'' #EQi' >m_return_bind
     
    25492549       | * [|#x1] #EQ destruct normalize nodelta whd in ⊢ (??%% → ?);
    25502550         #EQ destruct ****** [2: *] #EQ destruct
    2551        | #EQ whd in ⊢ (??%% → ?); #EQ1 destruct *****
    25522551       ]
    25532552     ]
Note: See TracChangeset for help on using the changeset viewer.