Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. Adapted Euler_MacLaurin to afp-devel
Changeset 7726:b19119ff2802 by manuel eberl _eberlm@in.tum.de_:
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)