Cross Reference: SPASSTest.hpf
xref
: /
hets
/
SoftFOL
/
tests
/
SPASSTest.hpf
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
use
SPASS/tests/SPASSTest.het
dg-all auto
dg basic Eq_Pred
translate SuleCFOL2SoftFOL
prove-all