# HG changeset patch
# User wenzelm
# Date 1321806747 -3600
# Node ID 5292435af7cf00d7f9521b82e6682239fc28a023
# Parent  87a2624f57e48fae945f728516b7cbff682d674c
updated comment;

diff -r 87a2624f57e4 -r 5292435af7cf src/HOL/Auth/TLS.thy
--- a/src/HOL/Auth/TLS.thy	Sun Nov 20 17:04:59 2011 +0100
+++ b/src/HOL/Auth/TLS.thy	Sun Nov 20 17:32:27 2011 +0100
@@ -904,4 +904,6 @@
           the assumptions be default.
 *)
 
+(*20/11/11: loads in 5.8s elapses time, 9.3s CPU time on dual-core laptop*)
+
 end