Changes

Summary

Changeset 7872:6a3b0d87a747 by manuel eberl _eberlm@in.tum.de_: merged
Changeset 7871:0a2d44333e41 by manuel eberl _eberlm@in.tum.de_: adjusted to changes from isabelle/e4997c181cce
The file was modified	`thys/Akra_Bazzi/Akra_Bazzi_Asymptotics.thy` (diff)
The file was modified	`thys/Akra_Bazzi/Akra_Bazzi_Method.thy` (diff)
The file was modified	`thys/E_Transcendental/E_Transcendental.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)
The file was modified	`thys/Integration/Integral.thy` (diff)
The file was modified	`thys/Markov_Models/Classifying_Markov_Chain_States.thy` (diff)
The file was modified	`thys/Pratt_Certificate/Pratt_Certificate.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)