tptp_printer.ml 8.8 KB