cannot use section before setup;

--- 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

--- 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 *}