Changeset 3582 for LTS/Lang_corr.ma


Ignore:
Timestamp:
Jul 16, 2015, 4:02:53 PM (4 years ago)
Author:
piccolo
Message:

pass variable to stack in place

File:
1 edited

Legend:

Unmodified
Added
Removed
  • LTS/Lang_corr.ma

    r3549 r3582  
    7272    [ #x #y #_ (*#_ #_ #_ #H*) *****
    7373    | #x #_ cases (ret_costed_abs ??) normalize nodelta [|#c] ******[|*] #EQ @⊥ >EQ in Hl1;
    74       normalize * /2/ ] *
     74      normalize * ] *
    7575    [ #EQconts1' normalize nodelta ****** #EQ destruct(EQ)
    7676      #HH1 #EQ destruct(EQ) >EQcode11 in ⊢ (% → ?); inversion(code … s1')
Note: See TracChangeset for help on using the changeset viewer.