isabelle: Changelog

paulson <lp15@cam.ac.uk> [Mon, 23 May 2016 15:33:24 +0100] rev 63114

Lots of new material for multivariate analysis

wenzelm [Mon, 23 May 2016 15:30:13 +0200] rev 63113

removed odd cases rule (see also 8cb42cd97579);

wenzelm [Mon, 23 May 2016 15:29:38 +0200] rev 63112

tuned proofs;

wenzelm [Mon, 23 May 2016 14:56:48 +0200] rev 63111

tuned document;

wenzelm [Mon, 23 May 2016 14:43:14 +0200] rev 63110

misc tuning and modernization;

wenzelm [Mon, 23 May 2016 12:48:24 +0200] rev 63109

proper document source; tuned proofs;

wenzelm [Mon, 23 May 2016 12:18:16 +0200] rev 63108

misc tuning and modernization;

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

merged

nipkow [Sat, 21 May 2016 07:08:46 +0200] rev 63106

added timing lemmas

immler [Fri, 20 May 2016 22:01:42 +0200] rev 63105

uniformly continuous function extended continuously on closure

isabelle