Changes between Version 38 and Version 39 of TypeFunctionsSolving


Ignore:
Timestamp:
Aug 7, 2008 7:16:12 AM (7 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