changeset 31723 | f5cafe803b55 |
parent 31205 | 98370b26c2ce |
child 33384 | 1b5ba4e6a953 |
--- a/src/HOL/Typerep.thy Thu Jun 18 18:31:14 2009 -0700 +++ b/src/HOL/Typerep.thy Fri Jun 19 17:23:21 2009 +0200 @@ -64,7 +64,7 @@ in add_typerep @{type_name fun} -#> TypedefPackage.interpretation ensure_typerep +#> Typedef.interpretation ensure_typerep #> Code.type_interpretation (ensure_typerep o fst) end