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