来源：https://stackoverflow.com/questions/15608399/how-do-i-remove-duplicate-subgoals-in-isabelle 标签 isabelle
