src/Pure/Pure.thy

--- a/src/Pure/Pure.thy	Thu Mar 27 15:32:12 2008 +0100
+++ b/src/Pure/Pure.thy	Thu Mar 27 15:32:15 2008 +0100
@@ -2,10 +2,7 @@
     ID:         $Id$
 *)
 
-section {* The Pure theory *}
-
-setup  -- {* Common setup of internal components *}
-
+section {* Further content for the Pure theory *}
 
 subsection {* Meta-level connectives in assumptions *}