NEWS

--- a/NEWS	Fri Jan 11 18:07:45 2002 +0100
+++ b/NEWS	Fri Jan 11 18:49:25 2002 +0100
@@ -2,8 +2,8 @@
 Isabelle NEWS -- history user-relevant changes
 ==============================================
 
-New in Isabelle2001 (December 2001)
------------------------------------
+New in Isabelle2002 (January 2002)
+----------------------------------
 
 *** Document preparation ***