diff -r d1f7b6245a75 -r f5cafe803b55 src/HOL/Typerep.thy --- 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