Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. renamings for compatibility with 70e3f446bfc7
Changeset 8209:1fcad0beb08b by paulson _lp15@cam.ac.uk_:
renamings for compatibility with 70e3f446bfc7
The file was modified thys/Euler_MacLaurin/Euler_MacLaurin.thy (diff)
The file was modified thys/Stirling_Formula/Ln_Gamma_Asymptotics.thy (diff)
The file was modified thys/Stirling_Formula/Stirling_Formula.thy (diff)