
diff -r 8420a873f534 -r 70fd4a3c41ed src/HOL/Nitpick.thy
--- a/src/HOL/Nitpick.thy	Mon Sep 06 16:50:29 2010 +0200
+++ b/src/HOL/Nitpick.thy	Mon Sep 06 17:51:26 2010 +0200
@@ -24,7 +24,6 @@
      ("Tools/Nitpick/nitpick.ML")
      ("Tools/Nitpick/nitpick_isar.ML")
      ("Tools/Nitpick/nitpick_tests.ML")
-     ("Tools/Nitpick/minipick.ML")
 begin
 
 typedecl bisim_iterator
@@ -237,7 +236,6 @@
 use "Tools/Nitpick/nitpick.ML"
 use "Tools/Nitpick/nitpick_isar.ML"
 use "Tools/Nitpick/nitpick_tests.ML"
-use "Tools/Nitpick/minipick.ML"
 
 setup {* Nitpick_Isar.setup *}
 




