
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




