Cross Reference: test03.in
xref
: /
hets
/
CASL
/
Logic_CASL.hs
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
test03.in revision 027d68858fd4bbb565ca2aa7ce026dc60c8cf881
<8>p1 -> (<3>p0) \/ (<5>p1)