split_all_tac is now added to claset() _before_ other safe tactics
split_all_tac is now added to claset() _before_ other safe tactics

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