tptp_parser.mly 8.94 KB