MixfixFormula.casl.output revision 699511266869036921be9c7ae6ac83d1b66ba51d
forall . aa <= ab => p
not s (n) <= 0
not s (n) <= 0
s (n) <= 0
(i * q) <= (j * p)
(i * q) <= (j * p)
c * (a + b) = c * a + c * b
(a + b) * c = a * c + b * c
*** Error 9.1-9.11, ambiguous mixfix term
__<=__(a, __<=__(b, c))
__<=__(__<=__(a, b), c)
__<=__<=__(a, b, c)