src/HOL/Enum.thy
changeset 58101 e7ebe5554281
parent 57922 dc78785427d0
child 58152 6fe60a9a5bad
     1.1 --- a/src/HOL/Enum.thy	Sun Aug 31 09:10:41 2014 +0200
     1.2 +++ b/src/HOL/Enum.thy	Sun Aug 31 09:10:42 2014 +0200
     1.3 @@ -3,7 +3,7 @@
     1.4  header {* Finite types as explicit enumerations *}
     1.5  
     1.6  theory Enum
     1.7 -imports Map
     1.8 +imports Map Groups_List
     1.9  begin
    1.10  
    1.11  subsection {* Class @{text enum} *}