diff -r ea0bf2a01eb0 -r 21e45c81e828 src/HOLCF/IsaMakefile
--- a/src/HOLCF/IsaMakefile	Mon Mar 22 15:42:07 2010 -0700
+++ b/src/HOLCF/IsaMakefile	Mon Mar 22 15:45:54 2010 -0700
@@ -61,7 +61,6 @@
   Universal.thy \
   UpperPD.thy \
   Up.thy \
-  Tools/adm_tac.ML \
   Tools/cont_consts.ML \
   Tools/cont_proc.ML \
   Tools/holcf_library.ML \