Tidying; rotate_prems; moved freeze_thaw from tactic.ML
Tidying; rotate_prems; moved freeze_thaw from tactic.ML

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