src/HOL/IsaMakefile
changeset 18886 9f27383426db
parent 18793 3536d86b5dc1
child 19039 8eae46249628
     1.1 --- a/src/HOL/IsaMakefile	Wed Feb 01 12:23:14 2006 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Wed Feb 01 15:22:02 2006 +0100
     1.3 @@ -398,10 +398,11 @@
     1.4  $(LOG)/HOL-Auth.gz: $(OUT)/HOL Library/NatPair.thy \
     1.5    Auth/CertifiedEmail.thy Auth/Event.thy \
     1.6    Auth/Message.thy Auth/NS_Public.thy Auth/NS_Public_Bad.thy \
     1.7 -  Auth/NS_Shared.thy Auth/OtwayRees.thy Auth/OtwayRees_AN.thy \
     1.8 +  Auth/NS_Shared.thy Auth/OtwayRees.thy Auth/OtwayReesBella.thy Auth/OtwayRees_AN.thy \
     1.9    Auth/OtwayRees_Bad.thy Auth/Public.thy Auth/ROOT.ML \
    1.10    Auth/Recur.thy Auth/Shared.thy \
    1.11 -  Auth/TLS.thy Auth/WooLam.thy Auth/Kerberos_BAN.thy Auth/KerberosIV.thy \
    1.12 +  Auth/TLS.thy Auth/WooLam.thy Auth/Kerberos_BAN.thy Auth/Kerberos_BAN_Gets.thy \
    1.13 +  Auth/KerberosIV.thy Auth/KerberosIV_Gets.thy Auth/KerberosV.thy \
    1.14    Auth/Yahalom.thy Auth/Yahalom2.thy Auth/Yahalom_Bad.thy \
    1.15    Auth/ZhouGollmann.thy \
    1.16    Auth/Guard/Analz.thy Auth/Guard/Extensions.thy Auth/Guard/GuardK.thy \
    1.17 @@ -410,6 +411,8 @@
    1.18    Auth/Guard/Guard_NS_Public.thy Auth/Guard/Guard_OtwayRees.thy \
    1.19    Auth/Guard/P1.thy Auth/Guard/P2.thy \
    1.20    Auth/Guard/Proto.thy Auth/Guard/Guard_Yahalom.thy\
    1.21 +  Auth/Smartcard/EventSC.thy Auth/Smartcard/ShoupRubinBella.thy\
    1.22 +  Auth/Smartcard/ShoupRubin.thy Auth/Smartcard/Smartcard.thy\
    1.23    Auth/document/root.tex 
    1.24  	@$(ISATOOL) usedir -g true $(OUT)/HOL Auth
    1.25