src/HOL/ex/Transitive_Closure_Table_Ex.thy

 
 theory Transitive_Closure_Table_Ex
 imports "~~/src/HOL/Library/Transitive_Closure_Table"
 begin
 
-datatype_new ty = A | B | C
+datatype ty = A | B | C
 
 inductive test :: "ty \<Rightarrow> ty \<Rightarrow> bool"
 where
   "test A B"
 | "test B A"