tptp_printer.ml 9.67 KB