Changes between Version 8 and Version 9 of TypeNats/Interact1


Ignore:
Timestamp:
Dec 19, 2010 5:01:51 AM (4 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats/Interact1

    v8 v9  
    4444(a * 1 ~ b) <=> a ~ b 
    4545(a * b ~ 1) <=> (a ~ 1, b ~ 1) 
    46 (a + a ~ b) <=> a ^ 2 ~ b 
     46(a * a ~ b) <=> a ^ 2 ~ b 
     47(m * a ~ a) <=> a ~ 0            -- 2 <= m 
    4748}}} 
    4849 
     
    5455(a ^ 0 ~ b) <=> b ~ 1 
    5556(1 ^ a ~ b) <=> b ~ 1  
     57(m ^ a ~ a) <=> False           -- m /= 1 
    5658}}}