src/HOL/Quickcheck_Examples/Completeness.thy

--- a/src/HOL/Quickcheck_Examples/Completeness.thy	Thu Jul 24 14:04:55 2014 +0200
+++ b/src/HOL/Quickcheck_Examples/Completeness.thy	Thu Jul 24 14:08:29 2014 +0200
@@ -6,7 +6,7 @@
 header {* Proving completeness of exhaustive generators *}
 
 theory Completeness
-imports "../Main"
+imports Main
 begin
 
 subsection {* Preliminaries *}