reduced to theory body (cf. OuterSyntax.process_file);

--- a/src/Pure/Pure.thy	Thu Mar 27 14:41:10 2008 +0100
+++ b/src/Pure/Pure.thy	Thu Mar 27 14:41:12 2008 +0100
@@ -2,11 +2,7 @@
     ID:         $Id$
 *)
 
-header {* The Pure theory *}
-
-theory Pure
-imports ProtoPure
-begin
+section {* The Pure theory *}
 
 setup  -- {* Common setup of internal components *}
 
@@ -103,4 +99,3 @@
   qed
 qed
 
-end