asm_full_simp_tac now fails when applied to a state w/o subgoals.
asm_full_simp_tac now fails when applied to a state w/o subgoals.

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