WrongTerms.hascasl revision 805d89c064aed4ddf6f9fcadf38013267521af88
"
'
{
[
(
}
]
)
.
_
:
:?
,
;
(,a)
(a,)
()
as a
: a
in a
(op __<__ :?##)
(var __<__ :? bb)
(pred __<__ :? bb)
(pred __<__ :? ##)
(pred __<__ :? bb*BB)
(pred __<__ :? ## * --)
forall! a: v . x
forall a: v .! x
exists a: v .! x
exists ! a: v . x
exists! a: v .! x
pred
var
op
(op __<__ : ?##)
(op __<__ : ? ##)