--- 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 {*