--- a/src/HOL/Main.thy Tue Sep 25 10:27:43 2007 +0200 +++ b/src/HOL/Main.thy Tue Sep 25 12:16:08 2007 +0200 @@ -5,7 +5,7 @@ header {* Main HOL *} theory Main -imports Map +imports Map begin text {*