src/HOL/Record.thy

--- a/src/HOL/Record.thy	Wed Aug 18 15:01:57 2010 +0200
+++ b/src/HOL/Record.thy	Wed Aug 18 16:59:35 2010 +0200
@@ -10,7 +10,7 @@
 
 theory Record
 imports Plain Quickcheck
-uses ("Tools/quickcheck_record.ML") ("Tools/record.ML")
+uses ("Tools/record.ML")
 begin
 
 subsection {* Introduction *}
@@ -452,7 +452,6 @@
 
 subsection {* Record package *}
 
-use "Tools/quickcheck_record.ML"
 use "Tools/record.ML" setup Record.setup
 
 hide_const (open) Tuple_Isomorphism repr abst iso_tuple_fst iso_tuple_snd