Theory.copy;
authorwenzelm
Sat Nov 14 13:25:34 1998 +0100 (1998-11-14)
changeset 58639935800edf58
parent 5862 3a1f9ec7c8a2
child 5864 30b6a3251813
Theory.copy;
src/Pure/pure.ML
     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;