InductTacs.case_tac: removed obsolete declare, which is now part of Goal.prove;
InductTacs.case_tac: removed obsolete declare, which is now part of Goal.prove;

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