tptp_write_file now takes goals and axioms as Term.term and writes them to a file.
tptp_write_file now takes goals and axioms as Term.term and writes them to a file.

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle