1.1 --- a/NEWS	Wed Apr 29 11:41:08 1998 +0200
     1.2 +++ b/NEWS	Wed Apr 29 11:41:36 1998 +0200
     1.3 @@ -27,6 +27,8 @@
     1.4  
     1.5  * new theory section 'nonterminals';
     1.6  
     1.7 +* new theory section 'setup';
     1.8 +
     1.9  
    1.10  *** HOL ***
    1.11