src/HOL/IsaMakefile
changeset 13926 6e62e5357a10
parent 13923 019342d03d81
child 13939 b3ef90abbd02
     1.1 --- a/src/HOL/IsaMakefile	Sat Apr 26 12:38:17 2003 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Sat Apr 26 12:38:42 2003 +0200
     1.3 @@ -363,14 +363,13 @@
     1.4  HOL-Auth: HOL $(LOG)/HOL-Auth.gz
     1.5  
     1.6  $(LOG)/HOL-Auth.gz: $(OUT)/HOL \
     1.7 -  Auth/CertifiedEmail.thy Auth/Event_lemmas.ML Auth/Event.thy \
     1.8 -  Auth/Message_lemmas.ML Auth/Message.thy Auth/NS_Public.thy \
     1.9 -  Auth/NS_Public_Bad.thy \
    1.10 +  Auth/CertifiedEmail.thy Auth/Event.thy \
    1.11 +  Auth/Message.thy Auth/NS_Public.thy Auth/NS_Public_Bad.thy \
    1.12    Auth/NS_Shared.thy Auth/OtwayRees.thy Auth/OtwayRees_AN.thy \
    1.13    Auth/OtwayRees_Bad.thy Auth/Public.thy Auth/ROOT.ML \
    1.14 -  Auth/Recur.thy Auth/Shared_lemmas.ML Auth/Shared.thy \
    1.15 +  Auth/Recur.thy Auth/Shared.thy \
    1.16    Auth/TLS.thy Auth/WooLam.thy \
    1.17 -  Auth/Kerberos_BAN.ML Auth/Kerberos_BAN.thy \
    1.18 +  Auth/Kerberos_BAN.thy \
    1.19    Auth/KerberosIV.ML Auth/KerberosIV.thy \
    1.20    Auth/Yahalom.thy Auth/Yahalom2.thy Auth/Yahalom_Bad.thy \
    1.21    Auth/Guard/Analz.thy Auth/Guard/Extensions.thy Auth/Guard/GuardK.thy \