src/HOL/Main.thy

--- a/src/HOL/Main.thy	Wed Oct 28 12:21:38 2009 +0000
+++ b/src/HOL/Main.thy	Wed Oct 28 18:09:30 2009 +0100
@@ -1,7 +1,7 @@
 header {* Main HOL *}
 
 theory Main
-imports Plain Nitpick Predicate_Compile Recdef
+imports Plain Nitpick
 begin
 
 text {*