Locale.setup;
authorwenzelm
Tue Aug 04 18:23:28 1998 +0200 (1998-08-04)
changeset 52474a8e6e60bbf8
parent 5246 99116a9e88f8
child 5248 6b04b9a88c21
Locale.setup;
src/Pure/pure.ML
     1.1 --- a/src/Pure/pure.ML	Tue Aug 04 18:22:04 1998 +0200
     1.2 +++ b/src/Pure/pure.ML	Tue Aug 04 18:23:28 1998 +0200
     1.3 @@ -10,6 +10,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 Locale.setup
     1.8      |> PureThy.end_theory;
     1.9  end;
    1.10  
    1.11 @@ -18,6 +19,7 @@
    1.12    val thy =
    1.13      PureThy.begin_theory "CPure" [ProtoPure.thy]
    1.14      |> Theory.add_syntax Syntax.pure_applC_syntax
    1.15 +    |> Theory.apply Locale.setup
    1.16      |> PureThy.end_theory;
    1.17  end;
    1.18