# HG changeset patch
# User paulson
# Date 921752343 -3600
# Node ID 2462d0c077b52fee56e1a2e0734999f9531e3274
# Parent  1f495d4d922b69fb29180c10afe19c21c801fb31
added new theory Yahalom_Bad

diff -r 1f495d4d922b -r 2462d0c077b5 src/HOL/IsaMakefile
--- 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