resolveq(_cases)_tac moved to HOL/Tools/induct_method.ML;
resolveq(_cases)_tac moved to HOL/Tools/induct_method.ML;

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