src/HOL/Record.thy

--- a/src/HOL/Record.thy	Thu Feb 14 13:16:47 2013 +0100
+++ b/src/HOL/Record.thy	Thu Feb 14 12:24:42 2013 +0100
@@ -9,7 +9,7 @@
 header {* Extensible records with structural subtyping *}
 
 theory Record
-imports Plain Quickcheck_Narrowing
+imports Quickcheck_Narrowing
 keywords "record" :: thy_decl
 begin