Changes between Version 4 and Version 5 of TypeFunctionsSynTC


Ignore:
Timestamp:
Dec 5, 2006 7:50:32 AM (8 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsSynTC

    v4 v5  
    234234=== There are two kinds of critical pairs === 
    235235 
    236 * Axiom vs local assumption, see (R2,R4) above 
    237 * Local assumption vs local assumption. For example, 
     236 * Axiom vs local assumption, see (R2,R4) above 
     237 * Local assumption vs local assumption. For example, 
    238238{{{ 
    239239  T Int = S Int  /\