tptp_printer.ml 9.66 KB