tptp_printer.ml 17.7 KB