src/Pure/Pure.thy
changeset 19048 2b875dd5eb4c
parent 18836 3a1e4ee72075
child 19121 d7fd5415a781
--- 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 *}