--- a/NEWS Wed Apr 29 11:33:27 1998 +0200
+++ b/NEWS Wed Apr 29 11:33:44 1998 +0200
@@ -25,6 +25,8 @@
* new toplevel commands 'thm' and 'thms' for retrieving theorems from
the current theory context;
+* new theory section 'nonterminals';
+
*** HOL ***