Changes

Summary

moved over material from the AFP to HOL, HOL-Computational_Algebra, and HOL-Number_Theory
more portable: prefer official JDBC operation DatabaseMetaData.getColumns();
tuned signature;

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` (diff)
The file was modified	`src/HOL/Algebra/Algebra.thy` (diff)
The file was modified	`src/HOL/Computational_Algebra/Euclidean_Algorithm.thy` (diff)
The file was modified	`src/HOL/Computational_Algebra/Factorial_Ring.thy` (diff)
The file was modified	`src/HOL/Computational_Algebra/Formal_Laurent_Series.thy` (diff)
The file was modified	`src/HOL/Computational_Algebra/Formal_Power_Series.thy` (diff)
The file was modified	`src/HOL/Computational_Algebra/Polynomial.thy` (diff)
The file was modified	`src/HOL/Computational_Algebra/Polynomial_Factorial.thy` (diff)
The file was modified	`src/HOL/Computational_Algebra/Primes.thy` (diff)
The file was modified	`src/HOL/GCD.thy` (diff)
The file was modified	`src/HOL/Number_Theory/Cong.thy` (diff)
The file was modified	`src/HOL/Number_Theory/Residues.thy` (diff)
The file was modified	`src/HOL/ROOT` (diff)
Changeset 80083:e2174bf626b8 by wenzelm: more portable: prefer official JDBC operation DatabaseMetaData.getColumns();
The file was modified	`src/Pure/Admin/build_log.scala` (diff)
The file was modified	`src/Pure/General/sql.scala` (diff)
Changeset 80082:4f9e4527a4e3 by wenzelm: tuned signature;
The file was modified	`src/Pure/General/sql.scala` (diff)