--- a/src/HOL/Main.thy Thu Oct 22 14:45:20 2009 +0200
+++ b/src/HOL/Main.thy Thu Oct 22 14:51:47 2009 +0200
@@ -1,7 +1,7 @@
header {* Main HOL *}
theory Main
-imports Plain Quickcheck Map Recdef SAT
+imports Plain Nitpick Quickcheck Recdef
begin
text {*