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 \