src/HOL/IsaMakefile
changeset 13508 890d736b93a5
parent 13481 796a5b766c2e
child 13517 42efec18f5b2
     1.1 --- a/src/HOL/IsaMakefile	Sat Aug 17 14:55:08 2002 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Wed Aug 21 15:53:30 2002 +0200
     1.3 @@ -367,7 +367,13 @@
     1.4    Auth/TLS.thy Auth/WooLam.thy \
     1.5    Auth/Kerberos_BAN.ML Auth/Kerberos_BAN.thy \
     1.6    Auth/KerberosIV.ML Auth/KerberosIV.thy \
     1.7 -  Auth/Yahalom.thy Auth/Yahalom2.thy Auth/Yahalom_Bad.thy
     1.8 +  Auth/Yahalom.thy Auth/Yahalom2.thy Auth/Yahalom_Bad.thy \
     1.9 +  Auth/Guard/Analz.thy Auth/Guard/Extensions.thy Auth/Guard/GuardK.thy \
    1.10 +  Auth/Guard/Guard_Public.thy Auth/Guard/Guard_Shared.thy \
    1.11 +  Auth/Guard/Guard.thy Auth/Guard/List_Msg.thy \
    1.12 +  Auth/Guard/NS_Public.thy Auth/Guard/OtwayRees.thy \
    1.13 +  Auth/Guard/P1.thy Auth/Guard/P2.thy \
    1.14 +  Auth/Guard/Proto.thy Auth/Guard/Yahalom.thy
    1.15  	@$(ISATOOL) usedir $(OUT)/HOL Auth
    1.16  
    1.17