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