Changes between Version 10 and Version 11 of TypeNats/Interact1


Ignore:
Timestamp:
Dec 19, 2010 5:05:43 AM (3 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats/Interact1

    v10 v11  
    5555(a ^ 0 ~ b) <=> b ~ 1 
    5656(a ^ 1 ~ b) <=> a ~ b 
     57(a ^ m ~ a) <=> (a <= 1)        -- 2 <= m 
    5758(1 ^ a ~ b) <=> b ~ 1 
    5859(m ^ a ~ a) <=> False           -- m /= 1 
    59 (a ^ m ~ a) <=> (a <= 1)        -- 2 <= m 
    6060}}}