--- a/src/HOL/Quickcheck_Narrowing.thy Tue Mar 11 15:34:38 2014 +0100
+++ b/src/HOL/Quickcheck_Narrowing.thy Tue Mar 11 17:18:39 2014 +0100
@@ -3,7 +3,7 @@
header {* Counterexample generator performing narrowing-based testing *}
theory Quickcheck_Narrowing
-imports Quickcheck_Exhaustive
+imports Quickcheck_Random
keywords "find_unused_assms" :: diag
begin
--- a/src/HOL/Record.thy Tue Mar 11 15:34:38 2014 +0100
+++ b/src/HOL/Record.thy Tue Mar 11 17:18:39 2014 +0100
@@ -9,7 +9,7 @@
header {* Extensible records with structural subtyping *}
theory Record
-imports Quickcheck_Narrowing
+imports Quickcheck_Exhaustive Quickcheck_Narrowing
keywords "record" :: thy_decl
begin