... | @@ -45,7 +45,7 @@ Basic rules: |
... | @@ -45,7 +45,7 @@ Basic rules: |
|
instance m <= n -- for concrete numbers m, n with m <= n
|
|
instance m <= n -- for concrete numbers m, n with m <= n
|
|
instance a <= a
|
|
instance a <= a
|
|
instance 0 <= a
|
|
instance 0 <= a
|
|
instance (a <= b, b <= c) => (a <= c) -- (under construction)
|
|
instance (a <= b, b <= c) => (a <= c)
|
|
instance (a <= a + b)
|
|
instance (a <= a + b)
|
|
instance (b <= a + b)
|
|
instance (b <= a + b)
|
|
instance (1 <= b) => (a <= a * b)
|
|
instance (1 <= b) => (a <= a * b)
|
... | | ... | |