src/HOL/Record.thy

--- a/src/HOL/Record.thy	Thu Jun 09 08:32:15 2011 +0200
+++ b/src/HOL/Record.thy	Thu Jun 09 08:32:16 2011 +0200
@@ -9,7 +9,7 @@
 header {* Extensible records with structural subtyping *}
 
 theory Record
-imports Plain Quickcheck_Exhaustive
+imports Plain Quickcheck_Narrowing
 uses ("Tools/record.ML")
 begin