NEWS for 31afce809794;
authorwenzelm
Sat Jan 25 16:59:41 2014 +0100 (2014-01-25)
changeset 551394d899933a51a
parent 55138 2fa86fa27a0f
child 55140 7eb0c04e4c40
NEWS for 31afce809794;
NEWS
     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