hoelzl [Fri, 16 Sep 2016 13:56:51 +0200] rev 63886
move Henstock-Kurzweil integration after Lebesgue_Measure; replace content by abbreviation measure lborel
Lars Hupel <lars.hupel@mytum.de> [Thu, 15 Sep 2016 22:41:05 +0200] rev 63885
new type for finite maps; use it in HOL-Probability
nipkow [Thu, 15 Sep 2016 19:31:17 +0200] rev 63884
adapted to listsum -> sum_list
nipkow [Thu, 15 Sep 2016 17:05:34 +0200] rev 63883
merged
nipkow [Thu, 15 Sep 2016 11:48:20 +0200] rev 63882
renamed listsum -> sum_list, listprod ~> prod_list
paulson <lp15@cam.ac.uk> [Thu, 15 Sep 2016 15:48:37 +0100] rev 63881
lots of new results about topology, affine dimension etc
paulson <lp15@cam.ac.uk> [Thu, 15 Sep 2016 14:33:55 +0100] rev 63880
Merge
paulson <lp15@cam.ac.uk> [Thu, 15 Sep 2016 14:14:49 +0100] rev 63879
simple new lemmas, mostly about sets
hoelzl [Thu, 15 Sep 2016 10:40:10 +0200] rev 63878
add add_eq_0_iff_both_eq_0 and zero_eq_add_iff_both_eq_0 to simp set
wenzelm [Thu, 15 Sep 2016 11:44:05 +0200] rev 63877
tuned;