tptp_parser.mly 8.6 KB