src/HOL/Auth/TLS.thy

--- a/src/HOL/Auth/TLS.thy	Thu Feb 12 21:24:14 2009 -0800
+++ b/src/HOL/Auth/TLS.thy	Fri Feb 13 09:54:47 2009 +0100
@@ -41,7 +41,7 @@
 
 header{*The TLS Protocol: Transport Layer Security*}
 
-theory TLS imports Public begin
+theory TLS imports Public Nat_Int_Bij begin
 
 constdefs
   certificate      :: "[agent,key] => msg"