src/HOL/HOL.thy

--- a/src/HOL/HOL.thy	Wed Apr 10 20:58:01 2013 +0200
+++ b/src/HOL/HOL.thy	Wed Apr 10 21:20:35 2013 +0200
@@ -8,8 +8,7 @@
 imports Pure "~~/src/Tools/Code_Generator"
 keywords
   "try" "solve_direct" "quickcheck"
-    "print_coercions" "print_coercion_maps" "print_claset" "print_induct_rules" 
-    "print_case_translations":: diag and
+    "print_coercions" "print_coercion_maps" "print_claset" "print_induct_rules" :: diag and
   "quickcheck_params" :: thy_decl
 begin