src/HOL/Computational_Algebra/Computational_Algebra.thy

--- a/src/HOL/Computational_Algebra/Computational_Algebra.thy	Wed Jul 12 18:42:32 2017 +0200
+++ b/src/HOL/Computational_Algebra/Computational_Algebra.thy	Sat Jul 15 14:32:02 2017 +0100
@@ -9,9 +9,11 @@
   Fraction_Field
   Fundamental_Theorem_Algebra
   Normalized_Fraction
+  Nth_Powers
   Polynomial_FPS
   Polynomial
   Primes
+  Squarefree
 begin
 
 end