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