/test/regress/regress0/tptp/
../
ARI086=1.p
Axioms
BOO003-4.p
BOO027-1.p
DAT001=1.p
KRS018+1.p
KRS063+1.p
MGT019+2.p
MGT031-1.p
MGT041-2.p
Makefile
Makefile.am
NLP114-1.p
PUZ131_1.p
SYN000+1.p
SYN000+2.p
SYN000-1.p
SYN000-2.p
SYN000=2.p
SYN000_1.p
SYN000_2.p
SYN075+1.p
SYN075-1.p
tff0-arith.p
tff0.p
tptp_parser.p
tptp_parser10.p
tptp_parser2.p
tptp_parser3.p
tptp_parser4.p
tptp_parser5.p
tptp_parser6.p
tptp_parser7.p
tptp_parser8.p
tptp_parser9.p