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