author | blanchet |
Mon, 20 Jan 2014 20:00:33 +0100 | |
changeset 55082 | e60036c1c248 |
parent 55081 | 45c457a6b987 |
child 55083 | 0a689157e3ce |
--- a/src/HOL/Nitpick.thy Mon Jan 20 19:53:10 2014 +0100 +++ b/src/HOL/Nitpick.thy Mon Jan 20 20:00:33 2014 +0100 @@ -8,7 +8,7 @@ header {* Nitpick: Yet Another Counterexample Generator for Isabelle/HOL *} theory Nitpick -imports Map Record Sledgehammer Wfrec +imports BNF_FP_Base Map Record Sledgehammer keywords "nitpick" :: diag and "nitpick_params" :: thy_decl begin