src/HOL/IsaMakefile
changeset 3540 acd60238f191
parent 3505 1cb4ea47d967
child 3616 fcd7e70258f7
--- a/src/HOL/IsaMakefile	Tue Jul 22 11:15:14 1997 +0200
+++ b/src/HOL/IsaMakefile	Tue Jul 22 11:16:57 1997 +0200
@@ -87,7 +87,8 @@
 
 ## Authentication & Security Protocols
 
-Auth_NAMES = Message Shared NS_Shared OtwayRees OtwayRees_AN OtwayRees_Bad \
+AUTH_NAMES = Message Event Shared NS_Shared \
+	     OtwayRees OtwayRees_AN OtwayRees_Bad \
 	     Recur WooLam Yahalom Yahalom2 \
 	     Public NS_Public_Bad NS_Public TLS