Introduced addss', which adds asm_lr_simp_tac as a wrapper to the claset.
Introduced addss', which adds asm_lr_simp_tac as a wrapper to the claset.

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