* Isar/Provers: 'simp' method now supports 'cong' modifiers; * Provers: Simplifier.easy_setup; tuned;
* Isar/Provers: 'simp' method now supports 'cong' modifiers;
* Provers: Simplifier.easy_setup;
tuned;

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