fixed "mk_exhaust_tac" for the nth time
fixed "mk_exhaust_tac" for the nth time

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