# HG changeset patch
# User wenzelm
# Date 893842896 -7200
# Node ID f3d30c02c1db0ec0282a7df3be9bb595d50c5be8
# Parent  843a9f5b3c3d2722fb67cab800eec83a0219b98f
new theory section 'setup';

diff -r 843a9f5b3c3d -r f3d30c02c1db NEWS
--- 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 ***