# HG changeset patch
# User wenzelm
# Date 1196075966 -3600
# Node ID 0ca80ce89001cb7a0652f63e8005c1ee33ffb578
# Parent  8b9c4582795aab27b208411d6bc6cf326c883b29
moved new NEWS from Isabelle2007 to this Isabelle version'';

diff -r 8b9c4582795a -r 0ca80ce89001 NEWS
--- 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