20 months ago paulson 2017-10-09 new material about connectedness, etc.
21 months ago nipkow 2017-09-07 adapted to better linear arith
22 months ago Manuel Eberl 2017-08-21 HOL-Analysis: Convergent FPS and infinite sums
22 months ago Manuel Eberl 2017-08-20 More lemmas for HOL-Analysis
22 months ago wenzelm 2017-08-18 session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
22 months ago eberlm 2017-08-17 Replaced subseq with strict_mono
24 months ago immler 2017-07-04 some generalizations complex=>real_normed_field
2017-05-04 paulson 2017-05-04 A few more new lemmas
2017-04-27 paulson 2017-04-27 New material (and some tidying) purely in the Analysis directory
2017-04-26 paulson 2017-04-26 Some fixes related to compactE_image
2017-04-26 paulson 2017-04-26 Further new material. The simprule status of some exp and ln identities was reverted.
2017-04-25 paulson 2017-04-25 New material from PNT proof, as well as more default [simp] declarations. Also removed duplicate theorems about geometric series
2017-03-16 paulson 2017-03-16 Removed [simp] status for Complex_eq. Also tidied some proofs
2017-02-28 paulson 2017-02-28 Renamed ii to imaginary_unit in order to free up ii as a variable name. Also replaced some legacy def commands
2017-02-21 paulson 2017-02-21 Some new lemmas. Existing lemmas modified to use uniform_limit rather than its expansion
2017-01-05 paulson 2017-01-05 New theory of arcwise connected sets and other new material
2017-01-04 paulson 2017-01-04 Many new theorems, and more tidying
2016-12-17 haftmann 2016-12-17 reoriented congruence rules in non-explosive direction
2016-11-19 wenzelm 2016-11-19 more symbols;
2016-10-25 paulson 2016-10-25 more new material
2016-10-18 paulson 2016-10-18 more from
2016-10-17 nipkow 2016-10-17 setsum -> sum
2016-10-16 haftmann 2016-10-16 more standardized names
2016-09-19 fleury 2016-09-19 left_distrib ~> distrib_right, right_distrib ~> distrib_left
2016-08-25 Manuel Eberl 2016-08-25 More analysis lemmas
2016-08-08 hoelzl 2016-08-08 rename HOL-Multivariate_Analysis to HOL-Analysis.