src/HOL/Auth/ROOT.ML

 *)
 
 HOL_build_completed;    (*Make examples fail if HOL did*)
 
 writeln"Root file for HOL/Auth";
-proof_timing := true;
+set proof_timing;
 goals_limit := 1;
 
 (*Shared-key protocols*)
 time_use_thy "NS_Shared";
 time_use_thy "OtwayRees";