merged

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