introduced addSE2, addSD2, addE2, and addD2 reflected changes to addbefore, addSbefore described setup of clasimp.ML introduced clarsimp_tac and Clarsimp_tac
introduced addSE2, addSD2, addE2, and addD2
reflected changes to addbefore, addSbefore
described setup of clasimp.ML
introduced clarsimp_tac and Clarsimp_tac

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