
diff -r 69e3bc394f09 -r ecd34f863242 src/HOL/Inductive.thy
--- a/src/HOL/Inductive.thy	Wed Apr 10 20:58:01 2013 +0200
+++ b/src/HOL/Inductive.thy	Wed Apr 10 21:20:35 2013 +0200
@@ -9,7 +9,7 @@
 keywords
   "inductive" "coinductive" :: thy_decl and
   "inductive_cases" "inductive_simps" :: thy_script and "monos" and
-  "print_inductives" :: diag and
+  "print_inductives" "print_case_translations" :: diag and
   "rep_datatype" :: thy_goal and
   "primrec" :: thy_decl
 begin




