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

TypeNats/LEQ
v6 v7 4 4 (a * b ~ c) => (b <= c)  M  1 <= a 5 5 (a * b ~ c) => (a <= c)  M  1 <= b 6 (0 ^ b ~ c) => (c <= 1) 6 7 (a ^ b ~ a) => (a <= 1) 7 8 (a ^ b ~ c) => (b <= c)  M  2 <= a 8 (0 ^ b ~ c) => (c <= 1)9 9 (a ^ b ~ c) => (a <= c)  M  1 <= b 10 10 }}}