diff -r d0b74fdd6067 -r 4975b7529a14 src/HOL/Typedef.thy
--- a/src/HOL/Typedef.thy	Wed Dec 05 14:15:45 2007 +0100
+++ b/src/HOL/Typedef.thy	Wed Dec 05 14:15:48 2007 +0100
@@ -109,7 +109,8 @@
 use "Tools/typedef_codegen.ML"
 
 setup {*
-  TypecopyPackage.setup
+  TypedefPackage.setup
+  #> TypecopyPackage.setup
   #> TypedefCodegen.setup
 *}