# HG changeset patch
# User haftmann
# Date 1268319153 -3600
# Node ID c36ade6f4c33e515a9cd8bb1ebad3a7c2271b0f4
# Parent  817b8e0f7086730928a0a36c43bc88df6b269a0a
NEWS

diff -r 817b8e0f7086 -r c36ade6f4c33 NEWS
--- a/NEWS	Thu Mar 11 14:40:29 2010 +0100
+++ b/NEWS	Thu Mar 11 15:52:33 2010 +0100
@@ -83,6 +83,9 @@
 
 *** HOL ***
 
+* Split off theory Big_Operators containing setsum, setprod, Inf_fin, Sup_fin,
+Min, Max from theory Finite_Set.  INCOMPATIBILITY.
+
 * Theory "Rational" renamed to "Rat", for consistency with "Nat", "Int" etc.
 INCOMPATIBILITY.