Summary
- correction to my previous commit
- merged
- last-minute integration unscrambling
The file was modified | src/HOL/Analysis/Harmonic_Numbers.thy (diff) |
The file was modified | src/HOL/Analysis/Equivalence_Lebesgue_Henstock_Integration.thy (diff) |
The file was modified | src/HOL/Analysis/Henstock_Kurzweil_Integration.thy (diff) |
The file was modified | src/HOL/Analysis/Improper_Integral.thy (diff) |