src/HOL/Analysis/Tagged_Division.thy
14 months ago paulson 2018-05-08 tidying more messy proofs
15 months ago nipkow 2018-04-09 removed dots at the end of (sub)titles
18 months ago wenzelm 2018-01-16 standardized towards new-style formal comments: isabelle update_comments;
18 months ago nipkow 2018-01-10 ran isabelle update_op on all sources
21 months ago paulson 2017-10-19 Switching to inverse image and constant_on, plus some new material
21 months ago paulson 2017-10-10 Divided Topology_Euclidean_Space in two, creating new theory Connected. Also deleted some duplicate / variant theorems
22 months ago paulson 2017-08-31 more proof simplificaition
23 months ago paulson 2017-08-24 Merge (non-trivial)
23 months ago paulson 2017-08-23 More tidying, and renaming of theorems
23 months ago haftmann 2017-08-23 dedicated local for "operative" avoids namespace pollution
23 months ago paulson 2017-08-07 more Henstock_Kurzweil_Integration cleanup
23 months ago paulson 2017-08-03 more tidying
23 months ago paulson 2017-08-03 more tidying up
23 months ago paulson 2017-08-02 removed all "guess"
23 months ago paulson 2017-08-02 fixed another horrible proof
23 months ago paulson 2017-07-31 more cleanup of Tagged_Division
23 months ago paulson 2017-07-30 partial cleanup of the horrible Tagged_Division
24 months ago paulson 2017-07-26 New theory of Equiintegrability / Continuity of the indefinite integral / improper integration
24 months ago paulson 2017-07-26 moved transitive_stepwise_le into Nat, where it belongs
24 months ago paulson 2017-07-24 refactored some HORRIBLE integration proofs
2017-06-26 paulson 2017-06-26 More tidying of horrible proofs
2017-06-26 paulson 2017-06-26 A few renamings and several tidied-up proofs
2017-06-22 paulson 2017-06-22 New theorems and much tidying up of the old ones
2017-06-21 paulson 2017-06-21 Tidying up integration theory and some new theorems
2017-06-19 paulson 2017-06-19 Repaired an inadvertent reordering of the premises of two theorems
2017-06-19 paulson 2017-06-19 New theorems; stronger theorems; tidier theorems. Also some renaming
2017-01-17 wenzelm 2017-01-17 isabelle update_cartouches -c -t;
2017-01-17 wenzelm 2017-01-17 more symbols via abbrevs;
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