--- a/src/HOL/Record.thy Tue Aug 17 14:33:44 2010 +0200
+++ b/src/HOL/Record.thy Tue Aug 17 15:13:16 2010 +0200
@@ -10,7 +10,7 @@
theory Record
imports Plain Quickcheck
-uses ("Tools/typecopy.ML") ("Tools/record.ML") ("Tools/quickcheck_record.ML")
+uses ("Tools/quickcheck_record.ML") ("Tools/typecopy.ML") ("Tools/record.ML")
begin
subsection {* Introduction *}
@@ -452,9 +452,9 @@
subsection {* Record package *}
-use "Tools/typecopy.ML" setup Typecopy.setup
+use "Tools/quickcheck_record.ML"
+use "Tools/typecopy.ML"
use "Tools/record.ML" setup Record.setup
-use "Tools/quickcheck_record.ML" setup Quickcheck_Record.setup
hide_const (open) Tuple_Isomorphism repr abst iso_tuple_fst iso_tuple_snd
iso_tuple_fst_update iso_tuple_snd_update iso_tuple_cons