Changes between Version 1 and Version 2 of TypeNats/LEQ


Ignore:
Timestamp:
Dec 24, 2010 12:02:04 AM (5 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats/LEQ

    v1 v2  
    44(m * b ~ c) => (b <= c)                   -- 1 <= m
    55(m ^ b ~ c) => (b <= c)                   -- 2 <= m
     6(0 ^ b ~ c) => (c <= 1)
    67(a ^ m ~ c) => (a <= c)                   -- 1 <= m
    78}}}