# HG changeset patch
# User boehmes
# Date 1290591748 -3600
# Node ID 1e761b5cd09713024004dfefca507aab7302b487
# Parent  872b08416fb48c05fbe77f742f370b0c02e482a2# Parent  50afcd382b9c92fbfa5051915f9373f5a9a2cf1d
merged

diff -r 872b08416fb4 -r 1e761b5cd097 NEWS
--- a/NEWS	Wed Nov 24 10:39:58 2010 +0100
+++ b/NEWS	Wed Nov 24 10:42:28 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.