Changes between Version 9 and Version 10 of TypeNats/Axioms


Ignore:
Timestamp:
Dec 24, 2010 12:00:44 AM (3 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats/Axioms

    v9 v10  
    5151m ^ a ~ a => m ~ 1 
    5252a ^ m ~ a => a <= 1        -- 2 <= m 
     530 ^ a ~ b => b <= 1 
    5354}}} 
    5455