src/HOL/Computational_Algebra/Computational_Algebra.thy

--- a/src/HOL/Computational_Algebra/Computational_Algebra.thy	Fri Dec 08 17:57:29 2017 +0100
+++ b/src/HOL/Computational_Algebra/Computational_Algebra.thy	Fri Dec 08 19:25:47 2017 +0000
@@ -8,6 +8,7 @@
   Formal_Power_Series
   Fraction_Field
   Fundamental_Theorem_Algebra
+  Group_Closure
   Normalized_Fraction
   Nth_Powers
   Polynomial_FPS