Changes between Version 8 and Version 9 of TypeNats/Axioms


Ignore:
Timestamp:
Dec 23, 2010 11:59:26 PM (3 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats/Axioms

    v8 v9  
    4848log1:        1 ^ a ~ 1 
    4949 
     50XXX: 
    5051m ^ a ~ a => m ~ 1 
    5152a ^ m ~ a => a <= 1        -- 2 <= m