src/Pure/pure.ML
changeset 5905 68cdba6c178f
parent 5863 9935800edf58
child 6192 a42dbf1af868
     1.1 --- a/src/Pure/pure.ML	Tue Nov 17 14:06:32 1998 +0100
     1.2 +++ b/src/Pure/pure.ML	Tue Nov 17 14:07:04 1998 +0100
     1.3 @@ -18,7 +18,7 @@
     1.4      val thy =
     1.5        PureThy.begin_theory "Pure" [ProtoPure.thy]
     1.6        |> Theory.add_syntax Syntax.pure_appl_syntax
     1.7 -      |> Theory.apply common_setup
     1.8 +      |> Library.apply common_setup
     1.9        |> PureThy.end_theory;
    1.10    end;
    1.11  
    1.12 @@ -27,7 +27,7 @@
    1.13      val thy =
    1.14        PureThy.begin_theory "CPure" [ProtoPure.thy]
    1.15        |> Theory.add_syntax Syntax.pure_applC_syntax
    1.16 -      |> Theory.apply common_setup
    1.17 +      |> Library.apply common_setup
    1.18        |> Theory.copy
    1.19        |> PureThy.end_theory;
    1.20    end;