--- 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"*)