src/HOL/Auth/TLS.ML
changeset 4449 df30e75f670f
parent 4423 a129b817b58a
child 4472 cfa3bd184bc1
--- 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"*)