# HG changeset patch
# User wenzelm
# Date 911046334 -3600
# Node ID 9935800edf587711c22248a8749f168c7f9c70fc
# Parent  3a1f9ec7c8a29c2d1eaedd12274dc688440560ac
Theory.copy;

diff -r 3a1f9ec7c8a2 -r 9935800edf58 src/Pure/pure.ML
--- a/src/Pure/pure.ML	Sat Nov 14 13:25:16 1998 +0100
+++ b/src/Pure/pure.ML	Sat Nov 14 13:25:34 1998 +0100
@@ -28,7 +28,7 @@
       PureThy.begin_theory "CPure" [ProtoPure.thy]
       |> Theory.add_syntax Syntax.pure_applC_syntax
       |> Theory.apply common_setup
-      |> Theory.prep_ext                  (*copy shared data!*)
+      |> Theory.copy
       |> PureThy.end_theory;
   end;
 end;