--- a/NEWS Fri Jul 06 16:20:54 2012 +0200
+++ b/NEWS Fri Jul 06 16:31:37 2012 +0200
@@ -22,22 +22,10 @@
with some care where this is really required.
-*** Document preparation ***
-
-* Default for \<euro> is now based on eurosym package, instead of
-slightly exotic babel/greek.
-
-
-*** System ***
-
-* Discontinued support for Poly/ML 5.2.1, which was the last version
-without exception positions and advanced ML compiler/toplevel
-configuration.
-
-
*** HOL ***
-* Simproc for rewriting set comprehensions into pointfree expressions
+* Simproc "finite_Collect" rewrites set comprehensions into pointfree
+expressions.
* Quickcheck:
@@ -56,6 +44,19 @@
- Rationalized type encodings ("type_enc" option).
+*** Document preparation ***
+
+* Default for \<euro> is now based on eurosym package, instead of
+slightly exotic babel/greek.
+
+
+*** System ***
+
+* Discontinued support for Poly/ML 5.2.1, which was the last version
+without exception positions and advanced ML compiler/toplevel
+configuration.
+
+
New in Isabelle2012 (May 2012)
------------------------------