--- a/src/HOL/Main.thy Wed Oct 28 11:55:48 2009 +0100 +++ b/src/HOL/Main.thy Wed Oct 28 17:43:43 2009 +0100 @@ -1,7 +1,7 @@ header {* Main HOL *} theory Main -imports Plain Nitpick Quickcheck Recdef +imports Plain Nitpick begin text {*