Changes

Changes from Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default)

moved over material from the AFP to HOL, HOL-Computational_Algebra, and HOL-Number_Theory

Changeset 80084:173548e4d5d0 by Manuel Eberl _manuel@pruvisto.org_: moved over material from the AFP to HOL, HOL-Computational_Algebra, and HOL-Number_Theory
The file was added	`src/HOL/Algebra/Algebraic_Closure_Type.thy`
The file was modified	`CONTRIBUTORS`
The file was modified	`src/HOL/Algebra/Algebra.thy`
The file was modified	`src/HOL/Computational_Algebra/Euclidean_Algorithm.thy`
The file was modified	`src/HOL/Computational_Algebra/Factorial_Ring.thy`
The file was modified	`src/HOL/Computational_Algebra/Formal_Laurent_Series.thy`
The file was modified	`src/HOL/Computational_Algebra/Formal_Power_Series.thy`
The file was modified	`src/HOL/Computational_Algebra/Polynomial.thy`
The file was modified	`src/HOL/Computational_Algebra/Polynomial_Factorial.thy`
The file was modified	`src/HOL/Computational_Algebra/Primes.thy`
The file was modified	`src/HOL/GCD.thy`
The file was modified	`src/HOL/Number_Theory/Cong.thy`
The file was modified	`src/HOL/Number_Theory/Residues.thy`
The file was modified	`src/HOL/ROOT`