13 months ago paulson <lp15@cam.ac.uk> [Wed, 23 Aug 2017 00:38:53 +0100] rev 66487
more on the dreadful monotone_convergence_interval
src/HOL/Analysis/Henstock_Kurzweil_Integration.thy

13 months ago Manuel Eberl <eberlm@in.tum.de> [Tue, 22 Aug 2017 21:36:48 +0200] rev 66486
Lemmas about analysis and permutations
src/HOL/Analysis/Complex_Analysis_Basics.thy src/HOL/Analysis/Conformal_Mappings.thy src/HOL/Analysis/Inner_Product.thy src/HOL/Analysis/Linear_Algebra.thy src/HOL/Library/Permutations.thy src/HOL/Transcendental.thy

13 months ago Lars Hupel <lars.hupel@mytum.de> [Tue, 22 Aug 2017 14:34:26 +0200] rev 66485
tuned
src/HOL/Library/Pattern_Aliases.thy

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

13 months ago Lars Hupel <lars.hupel@mytum.de> [Tue, 22 Aug 2017 11:48:57 +0200] rev 66483
tuned syntax
src/HOL/Library/Pattern_Aliases.thy

13 months ago wenzelm [Tue, 22 Aug 2017 11:42:51 +0200] rev 66482
tuned;
CONTRIBUTORS

13 months ago Lars Hupel <lars.hupel@mytum.de> [Tue, 22 Aug 2017 08:55:07 +0200] rev 66481
output syntax for pattern aliases
NEWS src/HOL/Library/Pattern_Aliases.thy

13 months ago Manuel Eberl <eberlm@in.tum.de> [Mon, 21 Aug 2017 20:49:15 +0200] rev 66480
HOL-Analysis: Convergent FPS and infinite sums
CONTRIBUTORS NEWS src/HOL/Analysis/Analysis.thy src/HOL/Analysis/Complex_Transcendental.thy src/HOL/Analysis/FPS_Convergence.thy src/HOL/Analysis/Infinite_Set_Sum.thy src/HOL/Computational_Algebra/Formal_Power_Series.thy src/HOL/Computational_Algebra/Polynomial_FPS.thy

13 months ago wenzelm [Mon, 21 Aug 2017 19:20:02 +0200] rev 66479
proper argument type (amending 8d5cb4ea2b7c);
src/Pure/General/http.scala

13 months ago wenzelm [Mon, 21 Aug 2017 17:35:59 +0200] rev 66478
tuned;
ANNOUNCE