1.1 --- a/src/HOL/Main.thy Thu Jan 14 09:18:08 2010 +0100 1.2 +++ b/src/HOL/Main.thy Thu Jan 14 15:06:38 2010 +0100 1.3 @@ -1,7 +1,7 @@ 1.4 header {* Main HOL *} 1.5 1.6 theory Main 1.7 -imports Plain Nitpick Predicate_Compile 1.8 +imports Plain Predicate_Compile Nitpick 1.9 begin 1.10 1.11 text {*