--- a/NEWS Mon Nov 26 10:42:39 2007 +0100
+++ b/NEWS Mon Nov 26 12:19:26 2007 +0100
@@ -1,6 +1,15 @@
Isabelle NEWS -- history user-relevant changes
==============================================
+New in this Isabelle version
+----------------------------
+
+*** HOL ***
+
+* Constant "card" now with authentic syntax.
+
+
+
New in Isabelle2007 (November 2007)
-----------------------------------
@@ -548,8 +557,6 @@
*** HOL ***
-* Constant "card" now with authentic syntax.
-
* Method "metis" proves goals by applying the Metis general-purpose
resolution prover (see also http://gilith.com/software/metis/).
Examples are in the directory MetisExamples. WARNING: the