src/HOL/IsaMakefile
changeset 13923 019342d03d81
parent 13908 4bdfa9f77254
child 13926 6e62e5357a10
     1.1 --- a/src/HOL/IsaMakefile	Fri Apr 25 11:18:14 2003 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Fri Apr 25 11:18:41 2003 +0200
     1.3 @@ -362,11 +362,12 @@
     1.4  
     1.5  HOL-Auth: HOL $(LOG)/HOL-Auth.gz
     1.6  
     1.7 -$(LOG)/HOL-Auth.gz: $(OUT)/HOL Auth/Event_lemmas.ML Auth/Event.thy \
     1.8 +$(LOG)/HOL-Auth.gz: $(OUT)/HOL \
     1.9 +  Auth/CertifiedEmail.thy Auth/Event_lemmas.ML Auth/Event.thy \
    1.10    Auth/Message_lemmas.ML Auth/Message.thy Auth/NS_Public.thy \
    1.11    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_lemmas.ML Auth/Public.thy Auth/ROOT.ML \
    1.14 +  Auth/OtwayRees_Bad.thy Auth/Public.thy Auth/ROOT.ML \
    1.15    Auth/Recur.thy Auth/Shared_lemmas.ML Auth/Shared.thy \
    1.16    Auth/TLS.thy Auth/WooLam.thy \
    1.17    Auth/Kerberos_BAN.ML Auth/Kerberos_BAN.thy \