changeset 47205 | 34e8b7347dda |
parent 47128 | d0d16b20b6ce |
child 47223 | 4fc34c628474 |
--- a/src/HOL/IsaMakefile Fri Mar 30 08:19:31 2012 +0200 +++ b/src/HOL/IsaMakefile Fri Mar 30 08:44:01 2012 +0200 @@ -1605,6 +1605,7 @@ HOL-Quickcheck_Examples: HOL $(LOG)/HOL-Quickcheck_Examples.gz $(LOG)/HOL-Quickcheck_Examples.gz: $(OUT)/HOL \ + Quickcheck_Examples/Completeness.thy \ Quickcheck_Examples/Find_Unused_Assms_Examples.thy \ Quickcheck_Examples/Quickcheck_Examples.thy \ Quickcheck_Examples/Quickcheck_Lattice_Examples.thy \