
diff -r 7fca4159117f -r 25aff3b8d550 src/HOL/Nitpick.thy
--- 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




