Tidying necessitated by new simprules in equalities.ML
Tidying necessitated by new simprules in equalities.ML

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