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) |