src/HOL/Auth/TLS.ML

--- a/src/HOL/Auth/TLS.ML	Thu Jul 30 23:14:41 1998 +0200
+++ b/src/HOL/Auth/TLS.ML	Fri Jul 31 10:48:42 1998 +0200
@@ -17,11 +17,6 @@
   rollback attacks).
 *)
 
-open TLS;
-
-set proof_timing;
-HOL_quantifiers := false;
-
 (*Automatically unfold the definition of "certificate"*)
 Addsimps [certificate_def];