Fri, 12 Nov 2021 12:51:22 +0100 tuned signature;
wenzelm [Fri, 12 Nov 2021 12:51:22 +0100] rev 75156
tuned signature;
Fri, 12 Nov 2021 16:09:35 +0100 merged
nipkow [Fri, 12 Nov 2021 16:09:35 +0100] rev 75155
merged
Fri, 12 Nov 2021 16:09:19 +0100 tuned (thanks to J. Villadsen)
nipkow [Fri, 12 Nov 2021 16:09:19 +0100] rev 75154
tuned (thanks to J. Villadsen)
Fri, 12 Nov 2021 15:32:27 +0100 some additions to HOL-Analysis.Infinite_Sum (courtesy of Dominique Unruh) draft
Manuel Eberl <manuel@pruvisto.org> [Fri, 12 Nov 2021 15:32:27 +0100] rev 75153
some additions to HOL-Analysis.Infinite_Sum (courtesy of Dominique Unruh)
Fri, 12 Nov 2021 08:51:45 +0100 added padding to Mirabelle's output
desharna [Fri, 12 Nov 2021 08:51:45 +0100] rev 75152
added padding to Mirabelle's output
Fri, 12 Nov 2021 00:28:00 +0100 merged
desharna [Fri, 12 Nov 2021 00:28:00 +0100] rev 75151
merged
Thu, 11 Nov 2021 22:35:23 +0100 merged
wenzelm [Thu, 11 Nov 2021 22:35:23 +0100] rev 75150
merged
Thu, 11 Nov 2021 22:06:18 +0100 clarified signature: prefer static operations;
wenzelm [Thu, 11 Nov 2021 22:06:18 +0100] rev 75149
clarified signature: prefer static operations;
Thu, 11 Nov 2021 21:54:28 +0100 clarified signature: avoid potential misunderstanding of Resources.empty as proper Resources;
wenzelm [Thu, 11 Nov 2021 21:54:28 +0100] rev 75148
clarified signature: avoid potential misunderstanding of Resources.empty as proper Resources;
Thu, 11 Nov 2021 13:47:32 +0100 more robust;
wenzelm [Thu, 11 Nov 2021 13:47:32 +0100] rev 75147
more robust;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 tip