--- a/src/Pure/pure_setup.ML Fri Mar 28 19:43:54 2008 +0100
+++ b/src/Pure/pure_setup.ML Fri Mar 28 20:02:04 2008 +0100
@@ -16,8 +16,9 @@
(* the Pure theories *)
-Context.>> (OuterSyntax.process_file (Path.explode "Pure.thy"));
-Context.>> Theory.end_theory;
+Context.>> (Context.map_theory
+ (OuterSyntax.process_file (Path.explode "Pure.thy") #>
+ Theory.end_theory));
structure Pure = struct val thy = ML_Context.the_global_context () end;
Context.set_thread_data NONE;
ThyInfo.register_theory Pure.thy;