2016-05-23 agoremoved odd cases rule (see also 8cb42cd97579);
wenzelm [Mon, 23 May 2016 15:30:13 +0200] rev 63113
removed odd cases rule (see also 8cb42cd97579);

2016-05-23 agotuned proofs;
wenzelm [Mon, 23 May 2016 15:29:38 +0200] rev 63112
tuned proofs;

2016-05-23 agotuned document;
wenzelm [Mon, 23 May 2016 14:56:48 +0200] rev 63111
tuned document;

2016-05-23 agomisc tuning and modernization;
wenzelm [Mon, 23 May 2016 14:43:14 +0200] rev 63110
misc tuning and modernization;

2016-05-23 agoproper document source;
wenzelm [Mon, 23 May 2016 12:48:24 +0200] rev 63109
proper document source;
tuned proofs;

2016-05-23 agomisc tuning and modernization;
wenzelm [Mon, 23 May 2016 12:18:16 +0200] rev 63108
misc tuning and modernization;

2016-05-21 agomerged
nipkow [Sat, 21 May 2016 07:08:59 +0200] rev 63107
merged

2016-05-21 agoadded timing lemmas
nipkow [Sat, 21 May 2016 07:08:46 +0200] rev 63106
added timing lemmas

2016-05-20 agouniformly continuous function extended continuously on closure
immler [Fri, 20 May 2016 22:01:42 +0200] rev 63105
uniformly continuous function extended continuously on closure

2016-05-20 agoreduce isUCont to uniformly_continuous_on
immler [Fri, 20 May 2016 21:21:28 +0200] rev 63104
reduce isUCont to uniformly_continuous_on