# HG changeset patch
# User paulson
# Date 867771132 -7200
# Node ID 368206f85f4b6c5cb273c612f513a5247d6e745e
# Parent  44249bba00ec5e4c2d3a09929902bf07058ea9db
New theory TLS

diff -r 44249bba00ec -r 368206f85f4b 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";