src/HOL/Auth/ROOT.ML

--- a/src/HOL/Auth/ROOT.ML	Fri Dec 19 10:27:23 1997 +0100
+++ b/src/HOL/Auth/ROOT.ML	Fri Dec 19 10:28:33 1997 +0100
@@ -9,7 +9,7 @@
 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*)