src/HOL/HOL.thy

--- a/src/HOL/HOL.thy	Thu Mar 15 20:07:00 2012 +0100
+++ b/src/HOL/HOL.thy	Thu Mar 15 22:08:53 2012 +0100
@@ -6,6 +6,8 @@
 
 theory HOL
 imports Pure "~~/src/Tools/Code_Generator"
+keywords
+  "print_coercions" "print_coercion_maps" "print_claset" "print_induct_rules" :: diag
 uses
   ("Tools/hologic.ML")
   "~~/src/Tools/IsaPlanner/zipper.ML"