tptp_parser.mly 7.68 KB