diff -r 36041934e429 -r 8840fa17e17c src/HOL/Quickcheck_Examples/Completeness.thy
--- a/src/HOL/Quickcheck_Examples/Completeness.thy	Fri Jul 11 15:35:11 2014 +0200
+++ b/src/HOL/Quickcheck_Examples/Completeness.thy	Fri Jul 11 15:52:03 2014 +0200
@@ -6,7 +6,7 @@
 header {* Proving completeness of exhaustive generators *}
 
 theory Completeness
-imports Main
+imports "../Main"
 begin
 
 subsection {* Preliminaries *}