src/HOL/Typerep.thy

--- 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
 *}