--- a/src/HOL/Enum.thy Sun Aug 31 09:10:41 2014 +0200
+++ b/src/HOL/Enum.thy Sun Aug 31 09:10:42 2014 +0200
@@ -3,7 +3,7 @@
header {* Finite types as explicit enumerations *}
theory Enum
-imports Map
+imports Map Groups_List
begin
subsection {* Class @{text enum} *}