MixfixFormula.casl.output revision 3aa7e4492a7e28b37d1a0b23f5bfe2109f87d4d6
forall . aa <= ab => p
1.21: *** Error: unexpected mixfix token: <=
1.14: *** Error: unknown type 's'
1.14: *** Error: unknown type 's'
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
9.1-9.11:
*** Error: ambiguous mixfix term
a <= (b <= c)
(a <= b) <= c
a <= b <= c
10.1-10.9:
*** Error: ambiguous mixfix term
A x
A x
11.1-11.8:
*** Error: ambiguous mixfix term
even (A x)
even (A x)