NEWS

--- a/NEWS	Fri Nov 23 21:09:30 2007 +0100
+++ b/NEWS	Fri Nov 23 21:09:32 2007 +0100
@@ -548,6 +548,8 @@
 
 *** 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