tptp_parser.mly 7.61 KB