src/HOL/Typedef.thy
changeset 25535 4975b7529a14
parent 24269 4b2aac7669b3
child 26151 4a9b8f15ce7f
     1.1 --- a/src/HOL/Typedef.thy	Wed Dec 05 14:15:45 2007 +0100
     1.2 +++ b/src/HOL/Typedef.thy	Wed Dec 05 14:15:48 2007 +0100
     1.3 @@ -109,7 +109,8 @@
     1.4  use "Tools/typedef_codegen.ML"
     1.5  
     1.6  setup {*
     1.7 -  TypecopyPackage.setup
     1.8 +  TypedefPackage.setup
     1.9 +  #> TypecopyPackage.setup
    1.10    #> TypedefCodegen.setup
    1.11  *}
    1.12