![[Jenkins]](/jenkins/static/51af4dc4/images/svgs/logo.svg){kind=logo}
Summary
- moved in some material from Euler-MacLaurin
| The file was modified | src/HOL/Analysis/Complex_Analysis_Basics.thy (diff) |
| The file was modified | src/HOL/Analysis/Complex_Transcendental.thy (diff) |
| The file was modified | src/HOL/Analysis/Henstock_Kurzweil_Integration.thy (diff) |
| The file was modified | src/HOL/Analysis/Uniform_Limit.thy (diff) |
| The file was modified | src/HOL/Limits.thy (diff) |
| The file was modified | src/HOL/Parity.thy (diff) |