Added tptp_write_file to write all necessary ATP input clauses to one file.
Added tptp_write_file to write all necessary ATP input clauses to one file.

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