src/HOL/Typerep.thy

--- a/src/HOL/Typerep.thy	Wed Sep 03 00:06:23 2014 +0200
+++ b/src/HOL/Typerep.thy	Wed Sep 03 00:06:24 2014 +0200
@@ -6,7 +6,7 @@
 imports String
 begin
 
-datatype typerep = Typerep String.literal "typerep list"
+datatype_new typerep = Typerep String.literal "typerep list"
 
 class typerep =
   fixes typerep :: "'a itself \<Rightarrow> typerep"