Changes between Version 16 and Version 17 of TypeNats/Interact1
 Timestamp:
 Dec 19, 2010 6:04:52 PM (7 years ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

TypeNats/Interact1
v16 v17 16 16 (m + a ~ n) <=> a ~ {n  m}  n >= m 17 17 (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? 19 19 (a + b ~ a) <=> (b ~ 0) 20 20 (a + b ~ b) <=> (a ~ 0)