Changes between Version 10 and Version 11 of TypeFunctionsSynTC


Ignore:
Timestamp:
Dec 7, 2006 9:10:00 PM (8 years ago)
Author:
chak
Comment:

more wiki formatting

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsSynTC

    v10 v11  
    306306     a=b, c=a, d=a 
    307307}}} 
    308   directly corresponds to 
    309 {{{ 
    310     S Int = R Int 
    311     R Int = S Int 
     308directly corresponds to 
     309{{{ 
     310S Int = R Int 
     311R Int = S Int 
    312312}}} 
    313313 
    314314The general cases are as follows. 
    315315 
    316 ==== axiom vs local assumption case ==== 
     316==== Axiom vs local assumption case ==== 
    317317 
    318318{{{ 
     
    358358}}} 
    359359 
    360 ==== local assumption vs local assumption ==== 
     360==== Local assumption vs local assumption ==== 
    361361 
    362362{{{