--- a/NEWS Mon Jul 21 08:53:56 2003 +0200
+++ b/NEWS Mon Jul 21 10:58:16 2003 +0200
@@ -110,6 +110,9 @@
*** HOL ***
+* 'specification' command added, allowing for definition by
+specification.
+
* arith(_tac)
- Produces a counter example if it cannot prove a goal.