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