--- a/NEWS Wed Apr 29 11:41:08 1998 +0200 +++ b/NEWS Wed Apr 29 11:41:36 1998 +0200 @@ -27,6 +27,8 @@ * new theory section 'nonterminals'; +* new theory section 'setup'; + *** HOL ***