# HG changeset patch
# User bulwahn
# Date 1299853273 -3600
# Node ID 107bf5c959d32cbe78ab2ab33448009b231e15af
# Parent  f05fc0711bc773992ae18457b28b9f9261bce129
correcting dependencies in IsaMakefile

diff -r f05fc0711bc7 -r 107bf5c959d3 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Fri Mar 11 15:21:13 2011 +0100
+++ b/src/HOL/IsaMakefile	Fri Mar 11 15:21:13 2011 +0100
@@ -333,11 +333,11 @@
   Tools/Predicate_Compile/predicate_compile_proof.ML \
   Tools/Predicate_Compile/predicate_compile_specialisation.ML \
   Tools/Predicate_Compile/predicate_compile_pred.ML \
-  Tools/quickcheck_generators.ML \
   Tools/Qelim/cooper.ML \
   Tools/Qelim/cooper_procedure.ML \
   Tools/Qelim/qelim.ML \
   Tools/Quickcheck/exhaustive_generators.ML \
+  Tools/Quickcheck/random_generators.ML \
   Tools/Quotient/quotient_def.ML \
   Tools/Quotient/quotient_info.ML \
   Tools/Quotient/quotient_tacs.ML \