/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
• 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
• is_rat_simple.p
• parse-neg-rational.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