diff -r f8a25218b423 -r 9b7a62788dac NEWS
--- a/NEWS	Mon Jul 28 11:16:38 2003 +0200
+++ b/NEWS	Tue Jul 29 13:32:16 2003 +0200
@@ -4,6 +4,15 @@
 New in this Isabelle release
 ----------------------------
 
+*** HOL ***
+
+* 'specification' command added, allowing for definition by
+specification.
+
+
+New in Isabelle2003 (May 2003)
+--------------------------------
+
 *** General ***
 
 * Provers/simplifier:
@@ -110,9 +119,6 @@
 
 *** HOL ***
 
-* 'specification' command added, allowing for definition by
-specification.
-
 * arith(_tac)
 
  - Produces a counter example if it cannot prove a goal.