src/HOL/Typerep.thy
changeset 35299 4f4d5bf4ea08
parent 35115 446c5063e4fd
child 35363 09489d8ffece
     1.1 --- a/src/HOL/Typerep.thy	Mon Feb 22 10:28:49 2010 +0100
     1.2 +++ b/src/HOL/Typerep.thy	Mon Feb 22 11:10:20 2010 +0100
     1.3 @@ -70,7 +70,8 @@
     1.4  
     1.5  add_typerep @{type_name fun}
     1.6  #> Typedef.interpretation ensure_typerep
     1.7 -#> Code.type_interpretation (ensure_typerep o fst)
     1.8 +#> Code.datatype_interpretation (ensure_typerep o fst)
     1.9 +#> Code.abstype_interpretation (ensure_typerep o fst)
    1.10  
    1.11  end
    1.12  *}