src/HOL/Inductive.thy

--- a/src/HOL/Inductive.thy	Fri Nov 30 22:38:06 2012 +0100
+++ b/src/HOL/Inductive.thy	Fri Nov 30 22:55:02 2012 +0100
@@ -9,6 +9,7 @@
 keywords
   "inductive" "coinductive" :: thy_decl and
   "inductive_cases" "inductive_simps" :: thy_script and "monos" and
+  "print_inductives" :: diag and
   "rep_datatype" :: thy_goal and
   "primrec" :: thy_decl
 begin