* HOL/Ring_and_Field and HOL/OrderedGroup: The lemmas "group_simps" and "ring_simps" have been replaced by "algebra_simps" (which can be extended with further lemmas!). At the moment both still exist but the former will disappear at some point.
- [isabelle-dev] NEWS Makarius
- [isabelle-dev] NE... Gerwin Klein
- [isabelle-dev... Makarius
- [isabell... Gerwin Klein
- [isabelle-dev] NEWS Makarius
- [isabelle-dev] NEWS Makarius
- [isabelle-dev] NEWS Makarius
- [isabelle-dev] NEWS balla...@mailbroy.informatik.tu-muenchen.de
- [isabelle-dev] NEWS Florian Haftmann
- [isabelle-dev] NEWS Florian Haftmann
- [isabelle-dev] NEWS Tobias Nipkow
- [isabelle-dev] Factorials... Amine Chaieb
- [isabelle-dev] Factor... Tobias Nipkow
- [isabelle-dev] Factor... Lawrence Paulson
- [isabelle-dev] Factor... Florian Haftmann
- [isabelle-dev] Fa... Amine Chaieb
- [isabelle-dev... Florian Haftmann
- [isabelle-dev] NEWS Johannes Hoelzl
- [isabelle-dev] NEWS Tobias Nipkow
- [isabelle-dev] NEWS Florian Haftmann
- [isabelle-dev] NEWS Amine Chaieb