--- a/src/HOL/Main.thy Tue May 19 13:57:31 2009 +0200
+++ b/src/HOL/Main.thy Tue May 19 13:57:32 2009 +0200
@@ -1,7 +1,7 @@
header {* Main HOL *}
theory Main
-imports Plain Code_Eval Map Recdef SAT
+imports Plain Quickcheck Map Recdef SAT
begin
text {*