tptp_parser.mly 8.29 KB