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
 *}