diff -r 56c44eee46ad -r ad8260dc6e4a src/Pure/Isar/outer_syntax.ML
--- a/src/Pure/Isar/outer_syntax.ML	Tue May 30 16:02:56 2000 +0200
+++ b/src/Pure/Isar/outer_syntax.ML	Tue May 30 16:03:09 2000 +0200
@@ -443,7 +443,7 @@
  (if time then
     timeit (fn () =>
      (writeln ("\n**** Starting theory " ^ quote name ^ " ****");
-      setmp Goals.proof_timing true (run_thy name) path;
+      setmp Library.timing true (run_thy name) path;
       writeln ("**** Finished theory " ^ quote name ^ " ****\n")))
   else run_thy name path;
   Context.context (ThyInfo.get_theory name);