src/HOL/Enum.thy
changeset 40650 d40b347d5b0b
parent 40649 dc1b5aa908ff
child 40651 9752ba7348b5
--- 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} *}