NEWS

--- a/NEWS	Wed Feb 17 23:29:35 2016 +0100
+++ b/NEWS	Thu Feb 18 17:07:10 2016 +0100
@@ -35,6 +35,9 @@
 * Compound constants INFIMUM and SUPREMUM are mere abbreviations now.
 INCOMPATIBILITY.
 
+* "Gcd (f ` A)" and "Lcm (f ` A)" are printed with optional
+comprehension-like syntax analogously to "Inf (f ` A)" and "Sup (f ` A)".
+
 * Class semiring_Lcd merged into semiring_Gcd.  INCOMPATIBILITY.
 
 * Library/Polynomial.thy contains also derivation of polynomials