--- a/src/HOL/IsaMakefile Thu Mar 18 10:41:33 1999 +0100
+++ b/src/HOL/IsaMakefile Thu Mar 18 11:19:03 1999 +0100
@@ -153,7 +153,8 @@
Auth/OtwayRees_Bad.thy Auth/Public.ML Auth/Public.thy Auth/ROOT.ML \
Auth/Recur.ML Auth/Recur.thy Auth/Shared.ML Auth/Shared.thy \
Auth/TLS.ML Auth/TLS.thy Auth/WooLam.ML Auth/WooLam.thy \
- Auth/Yahalom.ML Auth/Yahalom.thy Auth/Yahalom2.ML Auth/Yahalom2.thy
+ Auth/Yahalom.ML Auth/Yahalom.thy Auth/Yahalom2.ML Auth/Yahalom2.thy \
+ Auth/Yahalom_Bad.ML Auth/Yahalom_Bad.thy
@$(ISATOOL) usedir $(OUT)/HOL Auth