diff -r c87b69396a37 -r 3be65f879bcd src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Wed Aug 18 15:01:57 2010 +0200
+++ b/src/HOL/IsaMakefile	Wed Aug 18 16:59:35 2010 +0200
@@ -302,7 +302,6 @@
   Tools/Predicate_Compile/predicate_compile_specialisation.ML \
   Tools/Predicate_Compile/predicate_compile_pred.ML \
   Tools/quickcheck_generators.ML \
-  Tools/quickcheck_record.ML \
   Tools/Qelim/cooper.ML \
   Tools/Qelim/cooper_procedure.ML \
   Tools/Qelim/qelim.ML \