src/HOL/ex/Quickcheck_Lattice_Examples.thy

--- a/src/HOL/ex/Quickcheck_Lattice_Examples.thy	Wed Dec 29 13:51:17 2010 +0100
+++ b/src/HOL/ex/Quickcheck_Lattice_Examples.thy	Wed Dec 29 17:34:41 2010 +0100
@@ -4,7 +4,7 @@
 *)
 
 theory Quickcheck_Lattice_Examples
-imports Quickcheck_Types
+imports "~~/src/HOL/Library/Quickcheck_Types"
 begin
 
 text {* We show how other default types help to find counterexamples to propositions if