Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. afford more examples;
  2. obsolete -- this is quite fast;
  3. Group theory developments towards proving algebraic closure (by de Vilhena and Baillon)
  4. merged
  5. markup fixes
  6. merged
  7. Towards a proof of algebraic closure (NB not finished)
Changeset 70166:538919322852 by wenzelm:
afford more examples;
The file was modified src/HOL/ex/Meson_Test.thy (diff)
Changeset 70165:48e8bbeef7d3 by wenzelm:
obsolete -- this is quite fast;
The file was modified src/HOL/ex/PresburgerEx.thy (diff)
Changeset 70164:1f163f772da3 by paulson _lp15@cam.ac.uk_:
Group theory developments towards proving algebraic closure (by de Vilhena and Baillon)
The file was modified CONTRIBUTORS (diff)
The file was modified NEWS (diff)
Changeset 70163:615233977155 by paulson:
merged
Changeset 70162:13b10ca71150 by paulson _lp15@cam.ac.uk_:
markup fixes
The file was modified src/HOL/Algebra/Indexed_Polynomials.thy (diff)
The file was modified src/HOL/Algebra/Polynomial_Divisibility.thy (diff)
Changeset 70161:4c3bb14f5c2b by paulson:
merged
Changeset 70160:8e9100dcde52 by paulson _lp15@cam.ac.uk_:
Towards a proof of algebraic closure (NB not finished)
The file was addedsrc/HOL/Algebra/Algebraic_Closure.thy
The file was addedsrc/HOL/Algebra/Finite_Extensions.thy
The file was addedsrc/HOL/Algebra/Indexed_Polynomials.thy
The file was addedsrc/HOL/Algebra/Polynomial_Divisibility.thy
The file was addedsrc/HOL/Algebra/Pred_Zorn.thy
The file was modified src/HOL/Algebra/Algebra.thy (diff)
The file was modified src/HOL/Algebra/Embedded_Algebras.thy (diff)
The file was modified src/HOL/Algebra/Polynomials.thy (diff)
The file was modified src/HOL/Algebra/Ring_Divisibility.thy (diff)
The file was modified src/HOL/Algebra/Subrings.thy (diff)