--- a/src/HOL/IsaMakefile Sat Aug 17 14:55:08 2002 +0200
+++ b/src/HOL/IsaMakefile Wed Aug 21 15:53:30 2002 +0200
@@ -367,7 +367,13 @@
Auth/TLS.thy Auth/WooLam.thy \
Auth/Kerberos_BAN.ML Auth/Kerberos_BAN.thy \
Auth/KerberosIV.ML Auth/KerberosIV.thy \
- Auth/Yahalom.thy Auth/Yahalom2.thy Auth/Yahalom_Bad.thy
+ Auth/Yahalom.thy Auth/Yahalom2.thy Auth/Yahalom_Bad.thy \
+ Auth/Guard/Analz.thy Auth/Guard/Extensions.thy Auth/Guard/GuardK.thy \
+ Auth/Guard/Guard_Public.thy Auth/Guard/Guard_Shared.thy \
+ Auth/Guard/Guard.thy Auth/Guard/List_Msg.thy \
+ Auth/Guard/NS_Public.thy Auth/Guard/OtwayRees.thy \
+ Auth/Guard/P1.thy Auth/Guard/P2.thy \
+ Auth/Guard/Proto.thy Auth/Guard/Yahalom.thy
@$(ISATOOL) usedir $(OUT)/HOL Auth