src/HOL/Nitpick.thy
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