Changes from Mercurial (hg https://isabelle.in.tum.de/repos/isabelle/ default)
Summary
- fixed typo
The file was modified | src/HOL/Real_Asymp/multiseries_expansion.ML |
Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)
Summary
- added some material about the Laurent expansion of zeta
The file was modified | thys/Zeta_Function/Zeta_Laurent_Expansion.thy |