WrongFormula.casl revision faf8ae9e57aecf780f77f114de886af4c1a0f0cc
(var y : bb->bb)
=e =
a =e=< b
= e <
=ea
=e a
=a=
= a =
==e=
== e=
=e=e=e=
=e= e =e=
=e =e= e=
a = e= b
a =e = b
a = e= __ b __
a=>b<=>c
a if b <=> v
a /\ b \/ c
a if b => c