Changes between Version 4 and Version 5 of TypeNats/Interact1
 Timestamp:
 Dec 15, 2010 6:09:14 PM (5 years ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

TypeNats/Interact1
v4 v5 19 19 Toplevel interactions for +. 20 20 {{{ 21 (m + n ~ k) <=> {m + n } == k21 (m + n ~ k) <=> {m + n == k} 22 22 (m + a ~ n) <=> a ~ {n  m}  n >= m 23 23 (a + m ~ n) <=> a ~ {n  m}  n >= m … … 32 32 Toplevel interactions for *. 33 33 {{{ 34 (m * n ~ k) <=> {m * n } == k34 (m * n ~ k) <=> {m * n == k} 35 35 (m * a ~ n) <=> a ~ {n / m}  m `divides` n 36 36 (a * m ~ n) <=> a ~ {n / m}  m `divides` n