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