changeset 38539 | 3be65f879bcd |
parent 38536 | 7e57a0dcbd4f |
child 38622 | 86fc906dcd86 |
--- 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 \