# HG changeset patch
# User nipkow
# Date 1248252566 -7200
# Node ID 2a0645733185ac93145a2403dc5bce3a419538f4
# Parent  d2aea34845d42176187b9c36187d4326851ff29c
News

diff -r d2aea34845d4 -r 2a0645733185 NEWS
--- a/NEWS	Wed Jul 22 08:05:33 2009 +0200
+++ b/NEWS	Wed Jul 22 10:49:26 2009 +0200
@@ -49,6 +49,9 @@
 multiplicative monoids retains syntax "^" and is now defined generic
 in class power.  INCOMPATIBILITY.
 
+* 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.
+
 * ML antiquotation @{code_datatype} inserts definition of a datatype
 generated by the code generator; see Predicate.thy for an example.