* Provers/classical: removed obsolete classical version of elim_format;
* Provers/classical: removed obsolete classical version of elim_format;

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