--- a/src/HOL/IsaMakefile Thu Sep 04 11:08:24 2003 +0200
+++ b/src/HOL/IsaMakefile Thu Sep 04 11:15:53 2003 +0200
@@ -360,8 +360,7 @@
Auth/NS_Shared.thy Auth/OtwayRees.thy Auth/OtwayRees_AN.thy \
Auth/OtwayRees_Bad.thy Auth/Public.thy Auth/ROOT.ML \
Auth/Recur.thy Auth/Shared.thy \
- Auth/TLS.thy Auth/WooLam.thy \
- Auth/Kerberos_BAN.thy Auth/KerberosIV.ML Auth/KerberosIV.thy \
+ Auth/TLS.thy Auth/WooLam.thy Auth/Kerberos_BAN.thy Auth/KerberosIV.thy \
Auth/Yahalom.thy Auth/Yahalom2.thy Auth/Yahalom_Bad.thy \
Auth/ZhouGollmann.thy \
Auth/Guard/Analz.thy Auth/Guard/Extensions.thy Auth/Guard/GuardK.thy \