src/HOL/Analysis/Henstock_Kurzweil_Integration.thy
2017-01-17 wenzelm 2017-01-17 isabelle update_cartouches -c -t;
2017-01-04 paulson 2017-01-04 Many new theorems, and more tidying
2016-10-18 paulson 2016-10-18 more from moretop.ml
2016-10-17 nipkow 2016-10-17 setprod -> prod
2016-10-17 nipkow 2016-10-17 setsum -> sum
2016-09-29 hoelzl 2016-09-29 HOL-Analysis: move gauges and (tagged) divisions to its own theory file
2016-09-28 hoelzl 2016-09-28 HOL-Analysis: add cover lemma ported by L. C. Paulson
2016-09-27 paulson 2016-09-27 a few new theorems and a renaming
2016-09-26 hoelzl 2016-09-26 use filter to define Henstock-Kurzweil integration
2016-09-23 hoelzl 2016-09-23 move absolutely_integrable_on to Equivalence_Lebesgue_Henstock_Integration, now based on the Lebesgue integral
2016-09-23 hoelzl 2016-09-23 prove HK-integrable implies Lebesgue measurable; prove HK-integral equals Lebesgue integral for nonneg functions
2016-09-22 paulson 2016-09-22 More mainly topological results
2016-09-21 paulson 2016-09-21 new material about topological concepts, etc
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-25 Manuel Eberl 2016-08-25 More analysis lemmas
2016-08-12 wenzelm 2016-08-12 more symbols;
2016-08-10 haftmann 2016-08-10 keeping lifting rules local
2016-08-08 hoelzl 2016-08-08 rename HOL-Multivariate_Analysis to HOL-Analysis.