# HG changeset patch
# User paulson
# Date 867771756 -7200
# Node ID ef918a90f9bf18ddd1d393a74bad61671fa9989d
# Parent  256f38c01b98a63af85f09d1d6313adb30dac8fc
New theory TLS

diff -r 256f38c01b98 -r ef918a90f9bf src/HOL/IsaMakefile
--- 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)