src/HOL/Analysis/Derivative.thy
3 months ago paulson 2019-01-22 renamings and new material
3 months ago nipkow 2019-01-11 tuned headers
3 months ago wenzelm 2019-01-05 isabelle update -u control_cartouches;
3 months ago nipkow 2018-12-31 tuned header
3 months ago nipkow 2018-12-29 capitalize proper names in lemma names
7 months ago nipkow 2018-09-24 Prefix form of infix with * on either side no longer needs special treatment because (* and *) are no longer comment brackets in terms.
7 months ago paulson 2018-09-20 elimination of near duplication involving Rolle's theorem and the MVT
7 months ago immler 2018-08-29 tagged some theories
9 months ago paulson 2018-06-28 Generalising and renaming some basic results
11 months ago paulson 2018-05-20 correcting the statements of the MVTs
11 months ago paulson 2018-05-20 tidy up of Derivative
11 months ago paulson 2018-05-06 starting to tidy up Interval_Integral.thy
11 months ago immler 2018-05-03 merged; resolved conflicts manually (esp. lemmas that have been moved from Linear_Algebra and Cartesian_Euclidean_Space)
11 months ago immler 2018-05-02 added Johannes' generalizations Modules.thy and Vector_Spaces.thy; adapted HOL and HOL-Analysis accordingly
11 months ago paulson 2018-04-30 more general tidying up
11 months ago paulson 2018-04-29 more defer/prefer
12 months ago paulson 2018-04-14 new material about vec, real^1, etc.
12 months ago nipkow 2018-04-09 removed dots at the end of (sub)titles
14 months ago immler 2018-02-22 moved theorems from AFP/Affine_Arithmetic and AFP/Ordinary_Differential_Equations
14 months ago wenzelm 2018-02-20 tuned proofs -- prefer explicit names for facts from 'interpret';
15 months ago nipkow 2018-01-10 ran isabelle update_op on all sources
20 months ago eberlm 2017-08-11 Some facts about orders of zeros
2017-01-31 eberlm 2017-01-31 Simplified Gamma_Function
2016-10-25 paulson 2016-10-25 more new material
2016-10-18 paulson 2016-10-18 more from moretop.ml
2016-10-17 nipkow 2016-10-17 setsum -> sum
2016-10-16 haftmann 2016-10-16 more standardized names
2016-09-30 hoelzl 2016-09-30 HOL-Probability: more about probability, prepare for Markov processes in the AFP
2016-09-29 paulson 2016-09-29 more new material
2016-09-28 paulson 2016-09-28 new material connected with HOL Light measure theory, plus more rationalisation
2016-09-22 paulson 2016-09-22 More mainly topological results
2016-09-19 fleury 2016-09-19 left_distrib ~> distrib_right, right_distrib ~> distrib_left
2016-09-16 hoelzl 2016-09-16 move Henstock-Kurzweil integration after Lebesgue_Measure; replace content by abbreviation measure lborel
2016-08-08 hoelzl 2016-08-08 rename HOL-Multivariate_Analysis to HOL-Analysis.