changeset 57242 | 25aff3b8d550 |
parent 57231 | dca8d06ecbba |
child 57992 | 2371bff894f9 |
--- a/src/HOL/Nitpick.thy Thu Jun 12 17:02:03 2014 +0200 +++ b/src/HOL/Nitpick.thy Thu Jun 12 17:02:03 2014 +0200 @@ -8,7 +8,7 @@ header {* Nitpick: Yet Another Counterexample Generator for Isabelle/HOL *} theory Nitpick -imports BNF_FP_Base Map Record +imports Record keywords "nitpick" :: diag and "nitpick_params" :: thy_decl