Changes between Version 16 and Version 17 of TypeNats/Interact1


Ignore:
Timestamp:
Dec 19, 2010 6:04:52 PM (3 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats/Interact1

    v16 v17  
    1616(m + a ~ n) <=> a ~ {n - m}    -- n >= m 
    1717(0 + a ~ b) <=> a ~ b 
    18 (a + b ~ 0) <=> (a ~ 0, b ~ 0) 
     18(a + b ~ 0) <=> (a ~ 0, b ~ 0) -- XXX: Drop this, follows from <= rules? 
    1919(a + b ~ a) <=> (b ~ 0) 
    2020(a + b ~ b) <=> (a ~ 0)