# HG changeset patch
# User wenzelm
# Date 1390665581 -3600
# Node ID 4d899933a51a1f34a00f8110e9248aeff5223b96
# Parent  2fa86fa27a0fe3a4f3e44f2e2a1efe8519f15b13
NEWS for 31afce809794;

diff -r 2fa86fa27a0f -r 4d899933a51a NEWS
--- a/NEWS	Sat Jan 25 16:55:52 2014 +0100
+++ b/NEWS	Sat Jan 25 16:59:41 2014 +0100
@@ -53,6 +53,9 @@
 
 *** HOL ***
 
+* Simproc "finite_Collect" is no longer enabled by default, due to
+spurious crashes and other surprises.  Potential INCOMPATIBILITY.
+
 * Moved new (co)datatype package and its dependencies from "HOL-BNF" to "HOL".
   The "bnf", "wrap_free_constructors", "datatype_new", "codatatype",
   "primrec_new", "primcorec", and "primcorecursive" command are now part of