# HG changeset patch
# User wenzelm
# Date 1206625272 -3600
# Node ID ddac7ef1e991346f6af4933f64aa0d347be1a564
# Parent  6561665c5cb176420f521d115efa0c35ed1e5774
reduced to theory body (cf. OuterSyntax.process_file);

diff -r 6561665c5cb1 -r ddac7ef1e991 src/Pure/Pure.thy
--- 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