src/Pure/Isar/toplevel.ML

   val end_theory: Position.T -> state -> theory
   val pretty_context: state -> Pretty.T list
   val pretty_state: state -> Pretty.T list
   val print_state: state -> unit
   val pretty_abstract: state -> Pretty.T
-  val timing: bool Unsynchronized.ref
   val profiling: int Unsynchronized.ref
   type transition
   val empty: transition
   val name_of: transition -> string
   val pos_of: transition -> Position.T

 
 
 
 (** toplevel transitions **)
 
-val timing = Unsynchronized.ref false;
 val profiling = Unsynchronized.ref 0;
 
 
 (* node transactions -- maintaining stable checkpoints *)