Skip to content
[Jenkins]Jenkins
log in
Aborted

Changes

Summary

  1. moved over material from AFP; most importantly on algebraic numbers and algebraically closed fields
  2. update NEWS;
  3. moved web_app module from AFP (e.g., for building web services for the distributed build);
Changeset 80061:4c1347e172b1 by manuel eberl _eberlm@in.tum.de_:
moved over material from AFP; most importantly on algebraic numbers and algebraically closed fields
The file was addedsrc/HOL/Computational_Algebra/document/root.bib
The file was addedsrc/HOL/Computational_Algebra/document/root.tex
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/Fraction_Field.thy (diff)
The file was modified src/HOL/Computational_Algebra/Fundamental_Theorem_Algebra.thy (diff)
The file was modified src/HOL/Computational_Algebra/Polynomial.thy (diff)
The file was modified src/HOL/Groups_List.thy (diff)
The file was modified src/HOL/Library/Multiset.thy (diff)
The file was modified src/HOL/Library/Real_Mod.thy (diff)
The file was modified src/HOL/ROOT (diff)
The file was modified src/HOL/Rat.thy (diff)
Changeset 80060:f82639fe786e by fabian huch _huch@in.tum.de_:
update NEWS;
The file was modified NEWS (diff)
Changeset 80059:37ea0727291f by fabian huch _huch@in.tum.de_:
moved web_app module from AFP (e.g., for building web services for the distributed build);
The file was addedsrc/Pure/System/web_app.scala
The file was modified etc/build.props (diff)