tptp_printer.ml 16.5 KB