src/HOL/Auth/ROOT.ML

--- a/src/HOL/Auth/ROOT.ML	Tue Jul 01 11:11:42 1997 +0200
+++ b/src/HOL/Auth/ROOT.ML	Tue Jul 01 17:32:12 1997 +0200
@@ -25,4 +25,5 @@
 (*Public-key protocols*)
 time_use_thy "NS_Public_Bad";
 time_use_thy "NS_Public";
+time_use_thy "TLS";