1.1 --- a/src/HOL/IsaMakefile	Mon Mar 22 08:30:13 2010 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Mon Mar 22 08:30:13 2010 +0100
     1.3 @@ -301,7 +301,6 @@
     1.4    Tools/Predicate_Compile/predicate_compile_fun.ML \
     1.5    Tools/Predicate_Compile/predicate_compile.ML \
     1.6    Tools/Predicate_Compile/predicate_compile_pred.ML \
     1.7 -  Tools/Predicate_Compile/predicate_compile_set.ML \
     1.8    Tools/quickcheck_generators.ML \
     1.9    Tools/Qelim/cooper_data.ML \
    1.10    Tools/Qelim/cooper.ML \