src/HOL/Groups_Big.thy

--- a/src/HOL/Groups_Big.thy	Mon Aug 07 11:21:07 2017 +0200
+++ b/src/HOL/Groups_Big.thy	Mon Aug 07 11:21:11 2017 +0200
@@ -8,7 +8,7 @@
 section \<open>Big sum and product over finite (non-empty) sets\<close>
 
 theory Groups_Big
-  imports Finite_Set Power
+  imports Power
 begin
 
 subsection \<open>Generic monoid operation over a set\<close>