src/HOL/Enum.thy
changeset 40650 d40b347d5b0b
parent 40649 dc1b5aa908ff
child 40651 9752ba7348b5
     1.1 --- a/src/HOL/Enum.thy	Mon Nov 22 11:34:55 2010 +0100
     1.2 +++ b/src/HOL/Enum.thy	Mon Nov 22 11:34:56 2010 +0100
     1.3 @@ -3,7 +3,7 @@
     1.4  header {* Finite types as explicit enumerations *}
     1.5  
     1.6  theory Enum
     1.7 -imports Map Main
     1.8 +imports Map String
     1.9  begin
    1.10  
    1.11  subsection {* Class @{text enum} *}