# HG changeset patch # User paulson # Date 1051262321 -7200 # Node ID 019342d03d81b3c68653bee7d893996b87a80653 # Parent 75ae4244a596a2309d5d3ad0509e71b689fd9202 Auth: certified email protocol diff -r 75ae4244a596 -r 019342d03d81 src/HOL/IsaMakefile --- a/src/HOL/IsaMakefile Fri Apr 25 11:18:14 2003 +0200 +++ b/src/HOL/IsaMakefile Fri Apr 25 11:18:41 2003 +0200 @@ -362,11 +362,12 @@ HOL-Auth: HOL $(LOG)/HOL-Auth.gz -$(LOG)/HOL-Auth.gz: $(OUT)/HOL Auth/Event_lemmas.ML Auth/Event.thy \ +$(LOG)/HOL-Auth.gz: $(OUT)/HOL \ + Auth/CertifiedEmail.thy Auth/Event_lemmas.ML Auth/Event.thy \ Auth/Message_lemmas.ML Auth/Message.thy Auth/NS_Public.thy \ Auth/NS_Public_Bad.thy \ Auth/NS_Shared.thy Auth/OtwayRees.thy Auth/OtwayRees_AN.thy \ - Auth/OtwayRees_Bad.thy Auth/Public_lemmas.ML Auth/Public.thy Auth/ROOT.ML \ + Auth/OtwayRees_Bad.thy Auth/Public.thy Auth/ROOT.ML \ Auth/Recur.thy Auth/Shared_lemmas.ML Auth/Shared.thy \ Auth/TLS.thy Auth/WooLam.thy \ Auth/Kerberos_BAN.ML Auth/Kerberos_BAN.thy \