moved multi_resolve(s) to drule.ML; cases_tactic;
moved multi_resolve(s) to drule.ML;
cases_tactic;

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