changeset 57231 | dca8d06ecbba |
parent 56643 | 41d3596d8a64 |
child 57242 | 25aff3b8d550 |
--- a/src/HOL/Nitpick.thy Thu Jun 12 01:00:49 2014 +0200 +++ b/src/HOL/Nitpick.thy Thu Jun 12 01:00:49 2014 +0200 @@ -8,7 +8,7 @@ header {* Nitpick: Yet Another Counterexample Generator for Isabelle/HOL *} theory Nitpick -imports BNF_FP_Base Map Record Sledgehammer +imports BNF_FP_Base Map Record keywords "nitpick" :: diag and "nitpick_params" :: thy_decl