Summary
- merged
- tuned Analysis manual
- tuned Analysis manual
- more rules
- tuned material
- tuned manual
- Removed duplicate theorems from HOL-Analysis
- Flattened dependency tree of HOL-Analysis
- Merged
- Simplified Harmonic_Numbers
- Split off new HOL-Complex_Analysis session from HOL-Analysis