src/Pure/pure.ML
changeset 5863 9935800edf58
parent 5839 3ad1364bbb4b
child 5905 68cdba6c178f
     1.1 --- a/src/Pure/pure.ML	Sat Nov 14 13:25:16 1998 +0100
     1.2 +++ b/src/Pure/pure.ML	Sat Nov 14 13:25:34 1998 +0100
     1.3 @@ -28,7 +28,7 @@
     1.4        PureThy.begin_theory "CPure" [ProtoPure.thy]
     1.5        |> Theory.add_syntax Syntax.pure_applC_syntax
     1.6        |> Theory.apply common_setup
     1.7 -      |> Theory.prep_ext                  (*copy shared data!*)
     1.8 +      |> Theory.copy
     1.9        |> PureThy.end_theory;
    1.10    end;
    1.11  end;