--- a/src/HOL/IsaMakefile Mon Jul 02 11:45:19 2012 +0200
+++ b/src/HOL/IsaMakefile Mon Jul 02 12:23:30 2012 +0200
@@ -1499,9 +1499,10 @@
HOL-Quickcheck_Examples: HOL $(LOG)/HOL-Quickcheck_Examples.gz
$(LOG)/HOL-Quickcheck_Examples.gz: $(OUT)/HOL \
- Quickcheck_Examples/Completeness.thy \
+ Quickcheck_Examples/Completeness.thy \
Quickcheck_Examples/Find_Unused_Assms_Examples.thy \
Quickcheck_Examples/Quickcheck_Examples.thy \
+ Quickcheck_Examples/Quickcheck_Interfaces.thy \
Quickcheck_Examples/Quickcheck_Lattice_Examples.thy \
Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy
@$(ISABELLE_TOOL) usedir $(OUT)/HOL Quickcheck_Examples