readded Predicate_Compile to Main

--- a/src/HOL/Main.thy	Thu Oct 29 12:09:32 2009 +0100
+++ b/src/HOL/Main.thy	Thu Oct 29 12:29:31 2009 +0100
@@ -1,7 +1,7 @@
 header {* Main HOL *}
 
 theory Main
-imports Plain Nitpick
+imports Plain Nitpick Predicate_Compile
 begin
 
 text {*