src/HOL/HOL.thy
changeset 46950 d0181abdbdac
parent 46497 89ccf66aa73d
child 46973 d68798000e46
     1.1 --- a/src/HOL/HOL.thy	Thu Mar 15 20:07:00 2012 +0100
     1.2 +++ b/src/HOL/HOL.thy	Thu Mar 15 22:08:53 2012 +0100
     1.3 @@ -6,6 +6,8 @@
     1.4  
     1.5  theory HOL
     1.6  imports Pure "~~/src/Tools/Code_Generator"
     1.7 +keywords
     1.8 +  "print_coercions" "print_coercion_maps" "print_claset" "print_induct_rules" :: diag
     1.9  uses
    1.10    ("Tools/hologic.ML")
    1.11    "~~/src/Tools/IsaPlanner/zipper.ML"