diff -r c1f86c5d3827 -r 14a0993fe64b src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Mon Mar 22 08:30:13 2010 +0100
+++ b/src/HOL/IsaMakefile	Mon Mar 22 08:30:13 2010 +0100
@@ -301,7 +301,6 @@
   Tools/Predicate_Compile/predicate_compile_fun.ML \
   Tools/Predicate_Compile/predicate_compile.ML \
   Tools/Predicate_Compile/predicate_compile_pred.ML \
-  Tools/Predicate_Compile/predicate_compile_set.ML \
   Tools/quickcheck_generators.ML \
   Tools/Qelim/cooper_data.ML \
   Tools/Qelim/cooper.ML \