merged
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE73b313432d8a: clarified position for spec rule: like entity;
rISABELLE6617fb368a06: Reorganised HOL-Complex_Analysis - Branches
- Unknown
- Tags
- Unknown
Merged Changes
Merged Changes
- 6617fb368a06 Reorganised HOL-Complex_AnalysisAuthor
- 1bf7d1acbe74 tuned Analysis manualAuthor
- 36961c681fed tuned Analysis manualAuthor
- 29e7c6d11cf1 more rulesAuthor
- d50a718ccf35 tuned materialAuthor
- 26b35a97bddb tuned manualAuthor
- 8b8f9d3b3fac Simplified Harmonic_NumbersAuthor
- 0c47c128f9af merged
- 8a0e25d93a95 merged