src/HOL/Inductive.thy
changeset 50302 9149a07a6c67
parent 48891 c0eafbd55de3
child 51672 d5c5e088ebdf
     1.1 --- a/src/HOL/Inductive.thy	Fri Nov 30 22:38:06 2012 +0100
     1.2 +++ b/src/HOL/Inductive.thy	Fri Nov 30 22:55:02 2012 +0100
     1.3 @@ -9,6 +9,7 @@
     1.4  keywords
     1.5    "inductive" "coinductive" :: thy_decl and
     1.6    "inductive_cases" "inductive_simps" :: thy_script and "monos" and
     1.7 +  "print_inductives" :: diag and
     1.8    "rep_datatype" :: thy_goal and
     1.9    "primrec" :: thy_decl
    1.10  begin