Locale.setup;

--- 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;