New theory TLS
authorpaulson
Tue Jul 01 17:32:12 1997 +0200 (1997-07-01)
changeset 3475368206f85f4b
parent 3474 44249bba00ec
child 3476 1be4fee7606b
New theory TLS
src/HOL/Auth/ROOT.ML
     1.1 --- a/src/HOL/Auth/ROOT.ML	Tue Jul 01 11:11:42 1997 +0200
     1.2 +++ b/src/HOL/Auth/ROOT.ML	Tue Jul 01 17:32:12 1997 +0200
     1.3 @@ -25,4 +25,5 @@
     1.4  (*Public-key protocols*)
     1.5  time_use_thy "NS_Public_Bad";
     1.6  time_use_thy "NS_Public";
     1.7 +time_use_thy "TLS";
     1.8