diff -r b587d40ad474 -r df30e75f670f src/HOL/Auth/TLS.ML
--- a/src/HOL/Auth/TLS.ML	Fri Dec 19 10:27:23 1997 +0100
+++ b/src/HOL/Auth/TLS.ML	Fri Dec 19 10:28:33 1997 +0100
@@ -19,7 +19,7 @@
 
 open TLS;
 
-proof_timing:=true;
+set proof_timing;
 HOL_quantifiers := false;
 
 (*Automatically unfold the definition of "certificate"*)