Changes between Version 1 and Version 2 of TypeNats/Interact2
- Timestamp:
- 12/15/10 17:46:10 (3 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
TypeNats/Interact2
v1 v2 1 1 {{{ 2 (a + b ~ c, a + b ~ d) <=> c = d 3 (a + b ~ d, b + a ~ d) <=> c = d 4 ... 2 a + 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 11 m + b ~ c 12 n + d ~ c <=> d ~ {m - n} + b -- m >= n 13 n + d ~ c <=> b ~ {n - m} + d -- n >= m 5 14 }}}
