Tidying of signature.  More robust renaming in freeze_thaw. New tactic distinct_subgoals_tac
Tidying of signature.  More robust renaming in freeze_thaw.
New tactic distinct_subgoals_tac

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