Changes between Version 10 and Version 11 of TypeFunctionsSynTC


Ignore:
Timestamp:
Dec 7, 2006 9:10:00 PM (9 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{{{