Auth: certified email protocol
authorpaulson
Fri Apr 25 11:18:41 2003 +0200 (2003-04-25)
changeset 13923019342d03d81
parent 13922 75ae4244a596
child 13924 09f6f2fefb25
Auth: certified email protocol
src/HOL/IsaMakefile
     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 \