HasCASL/test/MixfixFormula.casl.output

	MixfixFormula.casl.output revision b55cf4375478168316b212cbc7d261fb683645ff


1
2
3
4
5
6
7
8
9
10
11
12
13
1047N/Aforall . aa <= ab => p
1047N/Anot s n <= 0
1047N/Anot s n <= 0
1047N/As n <= 0
1047N/A(i * q) <= (j * p)
1047N/A(i * q) <= (j * p)
1047N/Ac * (a + b) = c * a + c * b
1047N/A(a + b) * c = a * c + b * c
1047N/A*** Error 9.1-9.11, ambiguous mixfix term
1047N/A  __<=__(a, __<=__(b, c))
1047N/A  __<=__(__<=__(a, b), c)
1047N/A  __<=__<=__(a, b, c)
1047N/A