Changes between Version 6 and Version 7 of TypeNats/Interact2


Ignore:
Timestamp:
Jan 7, 2011 2:34:30 AM (3 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats/Interact2

    v6 v7  
    1616m + b ~ c 
    1717  n + d ~ c <=> {m - n} + b ~ d  -- n <= m 
    18   n + d ~ c <=> {n - m} + d ~ b  -- m >=m 
     18  n + d ~ c <=> {n - m} + d ~ b  -- n >= m 
    1919}}} 
    2020