Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. fixes for has_integral_Union involving pairwise
Changeset 8918:fb1cf909b8b1 by paulson _lp15@cam.ac.uk_:
fixes for has_integral_Union involving pairwise
The file was modified thys/Euler_MacLaurin/Euler_MacLaurin.thy (diff)
The file was modified thys/Green/Green.thy (diff)
The file was modified thys/Stirling_Formula/Ln_Gamma_Asymptotics.thy (diff)