src/HOL/Tools/Datatype/rep_datatype.ML

--- a/src/HOL/Tools/Datatype/rep_datatype.ML	Wed Apr 10 13:10:38 2013 +0200
+++ b/src/HOL/Tools/Datatype/rep_datatype.ML	Tue Jan 22 13:32:41 2013 +0100
@@ -536,7 +536,6 @@
     |> snd
     |> Datatype_Data.register dt_infos
     |> Datatype_Data.interpretation_data (config, dt_names)
-    |> Datatype_Case.add_case_tr' case_names
     |> pair dt_names
   end;