nipkow [Thu, 09 Feb 2023 12:51:18 +0100] rev 77224
tuned text
paulson <lp15@cam.ac.uk> [Wed, 08 Feb 2023 15:05:24 +0000] rev 77223
Lots of new material chiefly about complex analysis
paulson [Tue, 07 Feb 2023 14:10:15 +0000] rev 77222
merged
paulson <lp15@cam.ac.uk> [Tue, 07 Feb 2023 14:10:08 +0000] rev 77221
More new theorems from the number theory development
wenzelm [Mon, 06 Feb 2023 21:32:22 +0100] rev 77220
merged
wenzelm [Mon, 06 Feb 2023 21:31:49 +0100] rev 77219
proper orientation for right-associative operations;
wenzelm [Mon, 06 Feb 2023 16:29:19 +0100] rev 77218
tuned signature;
wenzelm [Mon, 06 Feb 2023 16:26:40 +0100] rev 77217
tuned signature;
wenzelm [Mon, 06 Feb 2023 16:21:25 +0100] rev 77216
tuned signature;
wenzelm [Mon, 06 Feb 2023 16:11:05 +0100] rev 77215
obsolete --- superseded by SHA1.Shasum operations;
wenzelm [Mon, 06 Feb 2023 16:04:17 +0100] rev 77214
clarified signature, using right-associative operation;
wenzelm [Mon, 06 Feb 2023 15:53:58 +0100] rev 77213
tuned whitespace;
wenzelm [Mon, 06 Feb 2023 15:50:49 +0100] rev 77212
tuned --- implicit split;
wenzelm [Mon, 06 Feb 2023 15:46:27 +0100] rev 77211
clarified signature;
wenzelm [Mon, 06 Feb 2023 15:35:18 +0100] rev 77210
prefer explicit shasum: more robust due to explicit file names, which often work implicitly in LaTeX;