new theory section 'setup';
authorwenzelm
Wed Apr 29 11:41:36 1998 +0200 (1998-04-29)
changeset 4869f3d30c02c1db
parent 4868 843a9f5b3c3d
child 4870 cc36acb5b114
new theory section 'setup';
NEWS
     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