* GCD now has functions Gcd/GCD and Lcm/LCM for the gcd and lcm of finite and infinite sets. It is shown that they form a complete lattice.
- [isabelle-dev] NEWS Florian Haftmann
- [isabelle-dev] NEWS Amine Chaieb
- [isabelle-dev] NEWS Florian Haftmann
- [isabelle-dev] NEWS Makarius
- [isabelle-dev] NEWS Makarius
- [isabelle-dev] NEWS Florian Haftmann
- [isabelle-dev] NEWS Florian Haftmann
- [isabelle-dev] NEWS Tobias Nipkow
- [isabelle-dev] NEWS Florian Haftmann
- [isabelle-dev] NEWS Johannes Hölzl
- [isabelle-dev] NEWS Tobias Nipkow
- [isabelle-dev] NEWS Tobias Nipkow
- [isabelle-dev] NEWS Sascha Boehme
- [isabelle-dev] NEWS Lawrence Paulson
- [isabelle-dev] NEWS Florian Haftmann
- [isabelle-dev] NEWS Sascha Boehme
- [isabelle-dev] NEWS Makarius
- [isabelle-dev] NEWS Florian Haftmann
- [isabelle-dev] NEWS Clemens Ballarin
- [isabelle-dev] NEWS Lawrence Paulson
- [isabelle-dev] NEWS Makarius