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