# HG changeset patch
# User wenzelm
# Date 1140035699 -3600
# Node ID 2b875dd5eb4c38ec53e8029a3a05884608185b00
# Parent  670ce193b6182f7088863fe364ab98df74a6ff30
cannot use section before setup;

diff -r 670ce193b618 -r 2b875dd5eb4c src/Pure/CPure.thy
--- a/src/Pure/CPure.thy	Wed Feb 15 21:34:57 2006 +0100
+++ b/src/Pure/CPure.thy	Wed Feb 15 21:34:59 2006 +0100
@@ -8,8 +8,6 @@
 imports Pure
 begin
 
-subsection {* Specific modifications, see ROOT.ML *}
-
-setup
+setup  -- {* Some syntax modifications, see ROOT.ML *}
 
 end
diff -r 670ce193b618 -r 2b875dd5eb4c src/Pure/Pure.thy
--- a/src/Pure/Pure.thy	Wed Feb 15 21:34:57 2006 +0100
+++ b/src/Pure/Pure.thy	Wed Feb 15 21:34:59 2006 +0100
@@ -10,9 +10,7 @@
 imports ProtoPure
 begin
 
-subsection {* Common setup of internal components *}
-
-setup
+setup  -- {* Common setup of internal components *}
 
 
 subsection {* Meta-level connectives in assumptions *}