# HG changeset patch
# User wenzelm
# Date 902247808 -7200
# Node ID 4a8e6e60bbf89b965b8d5d056bc501ef0f7bfbe9
# Parent  99116a9e88f89f977c830e439bc1b29d8ab68704
Locale.setup;

diff -r 99116a9e88f8 -r 4a8e6e60bbf8 src/Pure/pure.ML
--- a/src/Pure/pure.ML	Tue Aug 04 18:22:04 1998 +0200
+++ b/src/Pure/pure.ML	Tue Aug 04 18:23:28 1998 +0200
@@ -10,6 +10,7 @@
   val thy =
     PureThy.begin_theory "Pure" [ProtoPure.thy]
     |> Theory.add_syntax Syntax.pure_appl_syntax
+    |> Theory.apply Locale.setup
     |> PureThy.end_theory;
 end;
 
@@ -18,6 +19,7 @@
   val thy =
     PureThy.begin_theory "CPure" [ProtoPure.thy]
     |> Theory.add_syntax Syntax.pure_applC_syntax
+    |> Theory.apply Locale.setup
     |> PureThy.end_theory;
 end;