tptp_printer.ml 14.7 KB