asm_rewrite_goal_tac now calls SELECT_GOAL. Replaced min by Int.min
asm_rewrite_goal_tac now calls SELECT_GOAL.
Replaced min by Int.min

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