changeset 5863 | 9935800edf58 |
parent 5839 | 3ad1364bbb4b |
child 5905 | 68cdba6c178f |
--- 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;