src/HOL/Analysis/Generalised_Binomial_Theorem.thy
9 months ago Manuel Eberl 2018-07-16 Tagged some more files in HOL-Analysis
20 months ago Manuel Eberl 2017-08-20 More lemmas for HOL-Analysis
24 months ago paulson 2017-04-26 Further new material. The simprule status of some exp and ln identities was reverted.
2017-03-16 paulson 2017-03-16 Removed [simp] status for Complex_eq. Also tidied some proofs
2016-10-17 nipkow 2016-10-17 setprod -> prod
2016-08-08 hoelzl 2016-08-08 rename HOL-Multivariate_Analysis to HOL-Analysis.