![[Jenkins]](/jenkins/static/f7776f3e/images/svgs/logo.svg){kind=logo}
Changes from Mercurial (hg https://bitbucket.org/isa-afp/afp-devel/ default)
Summary
- Mostly qualification by Henstock_Kurzweil_Integration.
| The file was modified | thys/Buffons_Needle/Buffons_Needle.thy |
| The file was modified | thys/Euler_MacLaurin/Euler_MacLaurin.thy |
| The file was modified | thys/Green/Integrals.thy |
| The file was modified | thys/Ordinary_Differential_Equations/Library/Interval_Integral_HK.thy |
| The file was modified | thys/Prime_Number_Theorem/Prime_Counting_Functions.thy |
| The file was modified | thys/Prime_Number_Theorem/Prime_Number_Theorem_Library.thy |
| The file was modified | thys/Zeta_Function/Zeta_Function.thy |