Sat, 17 Sep 2016 11:41:13 +0200 repair LaTeX dropout from f83ef97d8d7d
Lars Hupel <lars.hupel@mytum.de> [Sat, 17 Sep 2016 11:41:13 +0200] rev 63906
repair LaTeX dropout from f83ef97d8d7d
Fri, 16 Sep 2016 12:30:55 +0200 prefer abbreviation for trivial set conversion
haftmann [Fri, 16 Sep 2016 12:30:55 +0200] rev 63905
prefer abbreviation for trivial set conversion
Fri, 16 Sep 2016 12:30:55 +0200 more lemmas
haftmann [Fri, 16 Sep 2016 12:30:55 +0200] rev 63904
more lemmas
Fri, 16 Sep 2016 21:40:47 +0200 merged
wenzelm [Fri, 16 Sep 2016 21:40:47 +0200] rev 63903
merged
Fri, 16 Sep 2016 21:35:19 +0200 more symbols -- as in the printed document;
wenzelm [Fri, 16 Sep 2016 21:35:19 +0200] rev 63902
more symbols -- as in the printed document;
Fri, 16 Sep 2016 21:28:09 +0200 more symbols;
wenzelm [Fri, 16 Sep 2016 21:28:09 +0200] rev 63901
more symbols;
Fri, 16 Sep 2016 18:44:18 +0200 tuned proofs
Lars Hupel <lars.hupel@mytum.de> [Fri, 16 Sep 2016 18:44:18 +0200] rev 63900
tuned proofs
Fri, 16 Sep 2016 18:09:13 +0200 misc updates;
wenzelm [Fri, 16 Sep 2016 18:09:13 +0200] rev 63899
misc updates;
Fri, 16 Sep 2016 18:01:31 +0200 merged
wenzelm [Fri, 16 Sep 2016 18:01:31 +0200] rev 63898
merged
Fri, 16 Sep 2016 17:12:39 +0200 consolidate implicit use of gnutar, via somewhat fragile dynamic scoping within existing shell scripts;
wenzelm [Fri, 16 Sep 2016 17:12:39 +0200] rev 63897
consolidate implicit use of gnutar, via somewhat fragile dynamic scoping within existing shell scripts;
Fri, 16 Sep 2016 17:37:41 +0200 merged
immler [Fri, 16 Sep 2016 17:37:41 +0200] rev 63896
merged
Fri, 16 Sep 2016 16:49:13 +0200 benchmark doesn't need to build documents
Lars Hupel <lars.hupel@mytum.de> [Fri, 16 Sep 2016 16:49:13 +0200] rev 63895
benchmark doesn't need to build documents
Fri, 16 Sep 2016 16:48:59 +0200 benchmark profile runs on small worker now (6 cores)
Lars Hupel <lars.hupel@mytum.de> [Fri, 16 Sep 2016 16:48:59 +0200] rev 63894
benchmark profile runs on small worker now (6 cores)
Fri, 16 Sep 2016 16:37:11 +0200 merged
traytel [Fri, 16 Sep 2016 16:37:11 +0200] rev 63893
merged
Fri, 16 Sep 2016 16:33:24 +0200 NEWS
traytel [Fri, 16 Sep 2016 16:33:24 +0200] rev 63892
NEWS
Fri, 16 Sep 2016 16:15:11 +0200 merged
wenzelm [Fri, 16 Sep 2016 16:15:11 +0200] rev 63891
merged
Fri, 16 Sep 2016 15:56:56 +0200 serious measurements require jobs = 1;
wenzelm [Fri, 16 Sep 2016 15:56:56 +0200] rev 63890
serious measurements require jobs = 1;
Fri, 16 Sep 2016 15:54:50 +0200 sessions that are relevant for routine timing measurements;
wenzelm [Fri, 16 Sep 2016 15:54:50 +0200] rev 63889
sessions that are relevant for routine timing measurements;
Fri, 16 Sep 2016 15:21:21 +0200 more uniform completion of short word: exclude single character prefix but include two chracter prefix (see also 31633e503c17);
wenzelm [Fri, 16 Sep 2016 15:21:21 +0200] rev 63888
more uniform completion of short word: exclude single character prefix but include two chracter prefix (see also 31633e503c17);
Thu, 15 Sep 2016 16:07:20 +0200 Liminf/Limsup and filtermap
immler [Thu, 15 Sep 2016 16:07:20 +0200] rev 63887
Liminf/Limsup and filtermap
Fri, 16 Sep 2016 13:56:51 +0200 move Henstock-Kurzweil integration after Lebesgue_Measure; replace content by abbreviation measure lborel
hoelzl [Fri, 16 Sep 2016 13:56:51 +0200] rev 63886
move Henstock-Kurzweil integration after Lebesgue_Measure; replace content by abbreviation measure lborel
Thu, 15 Sep 2016 22:41:05 +0200 new type for finite maps; use it in HOL-Probability
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
Thu, 15 Sep 2016 19:31:17 +0200 adapted to listsum -> sum_list
nipkow [Thu, 15 Sep 2016 19:31:17 +0200] rev 63884
adapted to listsum -> sum_list
Thu, 15 Sep 2016 17:05:34 +0200 merged
nipkow [Thu, 15 Sep 2016 17:05:34 +0200] rev 63883
merged
Thu, 15 Sep 2016 15:48:37 +0100 lots of new results about topology, affine dimension etc
paulson <lp15@cam.ac.uk> [Thu, 15 Sep 2016 15:48:37 +0100] rev 63882
lots of new results about topology, affine dimension etc
Thu, 15 Sep 2016 14:33:55 +0100 Merge
paulson <lp15@cam.ac.uk> [Thu, 15 Sep 2016 14:33:55 +0100] rev 63881
Merge
Thu, 15 Sep 2016 14:14:49 +0100 simple new lemmas, mostly about sets
paulson <lp15@cam.ac.uk> [Thu, 15 Sep 2016 14:14:49 +0100] rev 63880
simple new lemmas, mostly about sets
Thu, 15 Sep 2016 10:40:10 +0200 add add_eq_0_iff_both_eq_0 and zero_eq_add_iff_both_eq_0 to simp set
hoelzl [Thu, 15 Sep 2016 10:40:10 +0200] rev 63879
add add_eq_0_iff_both_eq_0 and zero_eq_add_iff_both_eq_0 to simp set
Thu, 15 Sep 2016 11:44:05 +0200 tuned;
wenzelm [Thu, 15 Sep 2016 11:44:05 +0200] rev 63878
tuned;
Thu, 15 Sep 2016 11:48:20 +0200 renamed listsum -> sum_list, listprod ~> prod_list
nipkow [Thu, 15 Sep 2016 11:48:20 +0200] rev 63877
renamed listsum -> sum_list, listprod ~> prod_list
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 tip