# HG changeset patch
# User wenzelm
# Date 893842424 -7200
# Node ID 4b15e9e1b3a5cdf4d7d874e25b5e3e68c9d01d11
# Parent  cf554f1c65be4cdc723fefd8c76e552f95c929e0
new theory section 'nonterminals';

diff -r cf554f1c65be -r 4b15e9e1b3a5 NEWS
--- 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 ***