diff -r e36d16985402 -r ff838a61dad6 src/Pure/pure_setup.ML
--- a/src/Pure/pure_setup.ML	Thu Apr 10 13:44:43 2008 +0200
+++ b/src/Pure/pure_setup.ML	Thu Apr 10 14:53:24 2008 +0200
@@ -16,6 +16,8 @@
 
 (* the Pure theories *)
 
+val theory = ThyInfo.get_theory;
+
 Context.>> (Context.map_theory
  (OuterSyntax.process_file (Path.explode "Pure.thy") #>
   Theory.end_theory));