src/HOL/Mirabelle/Tools/mirabelle.ML

   (case Option.map Int.fromString (AList.lookup (op =) settings key) of
     SOME (SOME i) => i
   | SOME NONE => error ("bad option: " ^ key)
   | NONE => default)
 
-fun cpu_time f x =
-  let
-    val start = start_timing ()
+fun cpu_time f x =  (* FIXME !? *)
+  let
+    val start = Timing.start ()
     val result = Exn.capture (fn () => f x) ()
-    val time = Time.toMilliseconds (#cpu (end_timing start))
+    val time = Time.toMilliseconds (#cpu (Timing.result start))
   in (Exn.release result, time) end
 
 end