New theory TLS

--- a/src/HOL/IsaMakefile	Tue Jul 01 17:38:49 1997 +0200
+++ b/src/HOL/IsaMakefile	Tue Jul 01 17:42:36 1997 +0200
@@ -89,7 +89,8 @@
 ## Authentication & Security Protocols
 
 Auth_NAMES = Message Shared NS_Shared OtwayRees OtwayRees_AN OtwayRees_Bad \
-	     Recur WooLam Yahalom Yahalom2 Public NS_Public_Bad NS_Public
+	     Recur WooLam Yahalom Yahalom2 \
+	     Public NS_Public_Bad NS_Public TLS
 
 AUTH_FILES = Auth/ROOT.ML $(AUTH_NAMES:%=Auth/%.thy) $(AUTH_NAMES:%=Auth/%.ML)