src/HOL/Auth/ROOT.ML
changeset 3475 368206f85f4b
parent 3207 fe79ad367d77
child 4449 df30e75f670f
     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