Changes between Version 38 and Version 39 of TypeFunctionsSolving

Show
Ignore:
Timestamp:
08/07/08 00:16:12 (5 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • TypeFunctionsSolving

    v38 v39  
    161161(SubstFam) 
    162162  |- F delta ~ [delta], norm [[ [delta] ~ [Int] ]] 
    163 == 
     163==> 
    164164  |- F delta ~ [delta], delta ~ Int 
    165165(SubstVar) 
    166166  |- norm [[ F Int ~ [Int] ]], delta ~ Int 
    167 == 
     167==> 
    168168  |- F Int ~ [Int], delta ~ Int 
    169169(Top) 
    170170  |- norm [[ [Int] ~ [Int] ]], delta ~ Int 
    171 == 
     171==> 
    172172  |- delta ~ Int 
    173173QED