src/HOL/IsaMakefile
changeset 3482 ef918a90f9bf
parent 3417 58ccb80eb50a
child 3505 1cb4ea47d967
     1.1 --- a/src/HOL/IsaMakefile	Tue Jul 01 17:38:49 1997 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Tue Jul 01 17:42:36 1997 +0200
     1.3 @@ -89,7 +89,8 @@
     1.4  ## Authentication & Security Protocols
     1.5  
     1.6  Auth_NAMES = Message Shared NS_Shared OtwayRees OtwayRees_AN OtwayRees_Bad \
     1.7 -	     Recur WooLam Yahalom Yahalom2 Public NS_Public_Bad NS_Public
     1.8 +	     Recur WooLam Yahalom Yahalom2 \
     1.9 +	     Public NS_Public_Bad NS_Public TLS
    1.10  
    1.11  AUTH_FILES = Auth/ROOT.ML $(AUTH_NAMES:%=Auth/%.thy) $(AUTH_NAMES:%=Auth/%.ML)
    1.12