Changes between Version 4 and Version 5 of TypeNats/LEQ
 Timestamp:
 Dec 24, 2010 4:08:12 AM (5 years ago)
Legend:
 Unmodified
 Added
 Removed
 Modified

TypeNats/LEQ
v4 v5 3 3 (a + b ~ c) => (a <= c, b <= c) 4 4 (m * b ~ c) => (b <= c)  1 <= m 5 (a ^ b ~ a) => (a <= 1) 5 6 (m ^ b ~ c) => (b <= c)  2 <= m 6 7 (0 ^ b ~ c) => (c <= 1) 7 (a ^ b ~ a) => (a <= 1)8 8 (a ^ m ~ c) => (a <= c)  1 <= m 9 9 }}}