Changes between Version 8 and Version 9 of TypeNats/Axioms

Show
Ignore:
Timestamp:
12/23/10 15:59:26 (2 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