src/HOL/Inductive.thy
changeset 51692 ecd34f863242
parent 51679 e7316560928b
child 52143 36ffe23b25f8
     1.1 --- a/src/HOL/Inductive.thy	Wed Apr 10 20:58:01 2013 +0200
     1.2 +++ b/src/HOL/Inductive.thy	Wed Apr 10 21:20:35 2013 +0200
     1.3 @@ -9,7 +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 +  "print_inductives" "print_case_translations" :: diag and
     1.9    "rep_datatype" :: thy_goal and
    1.10    "primrec" :: thy_decl
    1.11  begin