Changes between Version 3 and Version 4 of TypeNats/LEQ


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

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats/LEQ

    v3 v4  
    55(m ^ b ~ c) => (b <= c)                   -- 2 <= m 
    66(0 ^ b ~ c) => (c <= 1) 
    7 (a ^ m ~ a) => (a <= 1) 
     7(a ^ b ~ a) => (a <= 1) 
    88(a ^ m ~ c) => (a <= c)                   -- 1 <= m 
    99}}}