tptp_printer.ml 9.61 KB