relocate NEWS to post-release version (cf. 7a14f831d02d);

--- a/NEWS	Thu Dec 05 17:58:03 2013 +0100
+++ b/NEWS	Thu Dec 05 18:02:55 2013 +0100
@@ -84,6 +84,11 @@
 shows up as additional case in fixpoint induction proofs.
 INCOMPATIBILITY
 
+* Nitpick:
+  - Fixed soundness bug whereby mutually recursive datatypes could take
+    infinite values.
+
+
 *** ML ***
 
 * Toplevel function "use" refers to raw ML bootstrap environment,
@@ -549,10 +554,6 @@
     sets ~> set
 IMCOMPATIBILITY.
 
-* Nitpick:
-  - Fixed soundness bug whereby mutually recursive datatypes could take
-    infinite values.
-
 
 *** ML ***