--- 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.