Changes from Mercurial (hg https://bitbucket.org/isa-afp/afp-devel/ default)
Summary
- Elimination of a theorem synonym
The file was modified | thys/Dirichlet_Series/Dirichlet_Series_Analysis.thy |
The file was modified | thys/Error_Function/Error_Function.thy |
The file was modified | thys/Stirling_Formula/Ln_Gamma_Asymptotics.thy |
Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)
Summary
- A little-known material, and some tidying up
The file was modified | src/HOL/Analysis/Cauchy_Integral_Theorem.thy |
The file was modified | src/HOL/Analysis/Change_Of_Vars.thy |
The file was modified | src/HOL/Analysis/Complex_Analysis_Basics.thy |
The file was modified | src/HOL/Analysis/Conformal_Mappings.thy |
The file was modified | src/HOL/Analysis/Equivalence_Lebesgue_Henstock_Integration.thy |
The file was modified | src/HOL/Analysis/Equivalence_Measurable_On_Borel.thy |
The file was modified | src/HOL/Analysis/Gamma_Function.thy |
The file was modified | src/HOL/Analysis/Lebesgue_Measure.thy |
The file was modified | src/HOL/Analysis/Linear_Algebra.thy |
The file was modified | src/HOL/Complex.thy |
The file was modified | src/HOL/Deriv.thy |
The file was modified | src/HOL/Topological_Spaces.thy |