Changes between Version 6 and Version 7 of TypeNats/LEQ


Ignore:
Timestamp:
Dec 24, 2010 4:30:23 AM (3 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats/LEQ

    v6 v7  
    44(a * b ~ c) => (b <= c)                   -- M |- 1 <= a 
    55(a * b ~ c) => (a <= c)                   -- M |- 1 <= b 
     6(0 ^ b ~ c) => (c <= 1) 
    67(a ^ b ~ a) => (a <= 1) 
    78(a ^ b ~ c) => (b <= c)                   -- M |- 2 <= a 
    8 (0 ^ b ~ c) => (c <= 1) 
    99(a ^ b ~ c) => (a <= c)                   -- M |- 1 <= b 
    1010}}}