Changes between Version 1 and Version 2 of TypeNats/Interact2


Ignore:
Timestamp:
Dec 16, 2010 1:46:10 AM (3 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats/Interact2

    v1 v2  
    11{{{ 
    2 (a + b ~ c, a + b ~ d) <=> c = d 
    3 (a + b ~ d, b + a ~ d) <=> c = d 
    4 ...  
     2a + b ~ c 
     3  a + b ~ d <=> c ~ d 
     4  b + a ~ d <=> c ~ d 
     5 
     6  a + d ~ c <=> b ~ d 
     7  d + a ~ c <=> b ~ d 
     8  d + b ~ c <=> a ~ d 
     9  b + d ~ c <=> a ~ d 
     10 
     11m + b ~ c 
     12  n + d ~ c <=> d ~ {m - n} + b   -- m >= n 
     13  n + d ~ c <=> b ~ {n - m} + d   -- n >= m 
    514}}}