Cross Reference: cl2casl.clif
xref
: /
hets
/
CommonLogic
/
TestData
/
cl2casl.clif
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
(cl-text seqMark
(cl-imports cl2casl_compact)
(forall (a
...moreLetters
z) (SomePredicate a
...moreLetters
c))
)