--- a/src/HOL/IsaMakefile Wed Mar 24 17:40:44 2010 +0100
+++ b/src/HOL/IsaMakefile Wed Mar 24 17:40:44 2010 +0100
@@ -1287,8 +1287,10 @@
HOL-Predicate_Compile_Examples: HOL $(LOG)/HOL-Predicate_Compile_Examples.gz
-$(LOG)/HOL-Predicate_Compile_Examples.gz: $(OUT)/HOL \
- Predicate_Compile_Examples/ROOT.ML Predicate_Compile_Examples/Predicate_Compile_Examples.thy
+$(LOG)/HOL-Predicate_Compile_Examples.gz: $(OUT)/HOL \
+ Predicate_Compile_Examples/ROOT.ML \
+ Predicate_Compile_Examples/Predicate_Compile_Examples.thy \
+ Predicate_Compile_Examples/Predicate_Compile_Quickcheck_Examples.thy
@$(ISABELLE_TOOL) usedir $(OUT)/HOL Predicate_Compile_Examples
## clean