src/Pure/Isar/outer_syntax.ML

 
 fun load_thy name ml time path =
  (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);
   if ml then try_ml_file name time else ());