# HG changeset patch
# User bulwahn
# Date 1290590632 -3600
# Node ID 50afcd382b9c92fbfa5051915f9373f5a9a2cf1d
# Parent  f3f088322a7776083f8b851d042c449b7f5ab11f
announcing some latest change (d40b347d5b0b)

diff -r f3f088322a77 -r 50afcd382b9c NEWS
--- a/NEWS	Tue Nov 23 23:44:11 2010 +0100
+++ b/NEWS	Wed Nov 24 10:23:52 2010 +0100
@@ -89,6 +89,14 @@
 
 *** HOL ***
 
+* Theory Enum (for explicit enumerations of finite types) is now part of
+the HOL-Main image. INCOMPATIBILITY: All constants of the Enum theory now 
+have to be referred to by its qualified name.
+  constants
+    enum -> Enum.enum
+    nlists -> Enum.nlists
+    product -> Enum.product
+
 * Renamed theory Fset to Cset, type Fset.fset to Cset.set, in order to
 avoid confusion with finite sets.  INCOMPATIBILITY.