src/HOL/Tools/record_package.ML

 
 signature RECORD_PACKAGE =
 sig
   include BASIC_RECORD_PACKAGE
   val quiet_mode: bool ref
+  val timing: bool ref
   val record_quick_and_dirty_sensitive: bool ref
   val updateN: string
   val updN: string
   val ext_typeN: string
   val extN: string

 fun trace_term str t =
     tracing (str ^ (Display.raw_string_of_term t));
 
 (* timing *)
 
+val timing = ref false;
 fun timeit_msg s x = if !timing then (warning s; timeit x) else x ();
 fun timing_msg s = if !timing then warning s else ();
 
 (* syntax *)