src/HOL/HOL.thy
changeset 52432 c03090937c3b
parent 52230 1105b3b5aa77
child 52435 6646bb548c6b
     1.1 --- a/src/HOL/HOL.thy	Sun Jun 23 21:40:56 2013 +0200
     1.2 +++ b/src/HOL/HOL.thy	Sun Jun 23 22:31:50 2013 +0200
     1.3 @@ -7,8 +7,8 @@
     1.4  theory HOL
     1.5  imports Pure "~~/src/Tools/Code_Generator"
     1.6  keywords
     1.7 -  "try" "solve_direct" "quickcheck"
     1.8 -    "print_coercions" "print_coercion_maps" "print_claset" "print_induct_rules" :: diag and
     1.9 +  "try" "solve_direct" "quickcheck" "print_coercions" "print_claset"
    1.10 +    "print_induct_rules" :: diag and
    1.11    "quickcheck_params" :: thy_decl
    1.12  begin
    1.13