isabelle: Changelog

paulson <lp15@cam.ac.uk> [Wed, 23 Aug 2017 00:38:53 +0100] rev 66487

more on the dreadful monotone_convergence_interval

Manuel Eberl <eberlm@in.tum.de> [Tue, 22 Aug 2017 21:36:48 +0200] rev 66486

Lemmas about analysis and permutations

Lars Hupel <lars.hupel@mytum.de> [Tue, 22 Aug 2017 14:34:26 +0200] rev 66485

tuned

Lars Hupel <lars.hupel@mytum.de> [Tue, 22 Aug 2017 11:56:17 +0200] rev 66484

merged

Lars Hupel <lars.hupel@mytum.de> [Tue, 22 Aug 2017 11:48:57 +0200] rev 66483

tuned syntax

wenzelm [Tue, 22 Aug 2017 11:42:51 +0200] rev 66482

tuned;

Lars Hupel <lars.hupel@mytum.de> [Tue, 22 Aug 2017 08:55:07 +0200] rev 66481

output syntax for pattern aliases

Manuel Eberl <eberlm@in.tum.de> [Mon, 21 Aug 2017 20:49:15 +0200] rev 66480

HOL-Analysis: Convergent FPS and infinite sums

wenzelm [Mon, 21 Aug 2017 19:20:02 +0200] rev 66479

proper argument type (amending 8d5cb4ea2b7c);

wenzelm [Mon, 21 Aug 2017 17:35:59 +0200] rev 66478

tuned;

isabelle