--- a/src/HOL/Main.thy Thu Jan 14 09:18:08 2010 +0100
+++ b/src/HOL/Main.thy Thu Jan 14 15:06:38 2010 +0100
@@ -1,7 +1,7 @@
header {* Main HOL *}
theory Main
-imports Plain Nitpick Predicate_Compile
+imports Plain Predicate_Compile Nitpick
begin
text {*