Summary
- Adapted Euler_MacLaurin to afp-devel
The file was modified | thys/Euler_MacLaurin/Euler_MacLaurin.thy (diff) |
The file was modified | thys/Euler_MacLaurin/Euler_MacLaurin_Landau.thy (diff) |
The file was modified | thys/Euler_MacLaurin/Euler_MacLaurin.thy (diff) |
The file was modified | thys/Euler_MacLaurin/Euler_MacLaurin_Landau.thy (diff) |