NEWS
changeset 55139 4d899933a51a
parent 55122 3eb7bcca5b90
child 55143 04448228381d
     1.1 --- a/NEWS	Sat Jan 25 16:55:52 2014 +0100
     1.2 +++ b/NEWS	Sat Jan 25 16:59:41 2014 +0100
     1.3 @@ -53,6 +53,9 @@
     1.4  
     1.5  *** HOL ***
     1.6  
     1.7 +* Simproc "finite_Collect" is no longer enabled by default, due to
     1.8 +spurious crashes and other surprises.  Potential INCOMPATIBILITY.
     1.9 +
    1.10  * Moved new (co)datatype package and its dependencies from "HOL-BNF" to "HOL".
    1.11    The "bnf", "wrap_free_constructors", "datatype_new", "codatatype",
    1.12    "primrec_new", "primcorec", and "primcorecursive" command are now part of