tptp_parser.mly 1.56 KB