Cross Reference: test02.in
xref
: /
hets
/
GMP
/
tests
/
hennessy_milner
/
test02.in
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
(p0 /\ (p0 -> ([a]p0)))-> ([a]p0)