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