[isabelle-dev] NEWS

[Tobias Nipkow]

* 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.