resolveq_cases_tac moved here from Pure/Isar/method.ML; induct: proper handling of non-consumed facts;
resolveq_cases_tac moved here from Pure/Isar/method.ML;
induct: proper handling of non-consumed facts;

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