Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Merged
  2. Merged
  3. fps_from_poly → fps_of_poly
  4. Merged
  5. Various additions to polynomials, FPSs, Gamma function
Changeset 63321:0c89eef79701 by eberlm:
Merged
Changeset 63320:b5bbf61b792f by eberlm:
Merged
Changeset 63319:bc8793d7bd21 by eberlm:
fps_from_poly → fps_of_poly
The file was modified src/HOL/Library/Polynomial_FPS.thy (diff)
Changeset 63318:008db47be9dc by eberlm:
Merged
Changeset 63317:ca187a9f66da by eberlm:
Various additions to polynomials, FPSs, Gamma function
The file was addedsrc/HOL/Library/Polynomial_FPS.thy
The file was modified src/HOL/Binomial.thy (diff)
The file was modified src/HOL/Divides.thy (diff)
The file was modified src/HOL/Groups_List.thy (diff)
The file was modified src/HOL/Library/Formal_Power_Series.thy (diff)
The file was modified src/HOL/Library/Library.thy (diff)
The file was modified src/HOL/Library/Polynomial.thy (diff)
The file was modified src/HOL/List.thy (diff)
The file was modified src/HOL/Multivariate_Analysis/Gamma.thy (diff)
The file was modified src/HOL/Set_Interval.thy (diff)
The file was modified src/HOL/Topological_Spaces.thy (diff)