Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. New material about transcendental functions, polynomials, et cetera, thanks to Manuel Eberl
Changeset 79672:76720aeab21e by paulson _lp15@cam.ac.uk_:
New material about transcendental functions, polynomials, et cetera, thanks to Manuel Eberl
The file was modified src/HOL/Computational_Algebra/Polynomial.thy (diff)
The file was modified src/HOL/Real_Asymp/Multiseries_Expansion_Bounds.thy (diff)
The file was modified src/HOL/Transcendental.thy (diff)