--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/HOL/Computational_Algebra/Computational_Algebra.thy	Thu Apr 06 21:37:13 2017 +0200
@@ -0,0 +1,18 @@
+
+section \<open>Pieces of computational Algebra\<close>
+
+theory Computational_Algebra
+imports
+  Euclidean_Algorithm
+  Factorial_Ring
+  Formal_Power_Series
+  Fraction_Field
+  Fundamental_Theorem_Algebra
+  Normalized_Fraction
+  Polynomial_FPS
+  Polynomial
+  Primes
+begin
+
+end
+