--- a/src/HOL/Enum.thy Mon Nov 22 11:34:55 2010 +0100
+++ b/src/HOL/Enum.thy Mon Nov 22 11:34:56 2010 +0100
@@ -3,7 +3,7 @@
header {* Finite types as explicit enumerations *}
theory Enum
-imports Map Main
+imports Map String
begin
subsection {* Class @{text enum} *}