Cross Reference: MixfixFormula.casl
xref
: /
hets
/
CASL
/
test
/
MixfixFormula.casl
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
MixfixFormula.casl revision 4654dbb45f8a4aea7aa5fed6be22c9efff19bfca
4654dbb45f8a4aea7aa5fed6be22c9efff19bfca
Christian Maeder
forall aa,ab:s . aa <= ab => p