--- 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";