desharna [Wed, 26 Mar 2025 09:51:26 +0100] rev 82355
tuned naming
paulson [Fri, 28 Mar 2025 00:26:18 +0000] rev 82354
merged
paulson <lp15@cam.ac.uk> [Fri, 28 Mar 2025 00:26:10 +0000] rev 82353
Manuel's material on infinite products
Fabian Huch <huch@in.tum.de> [Thu, 27 Mar 2025 10:45:33 +0100] rev 82352
start jobs even if repository is unreachable, e.g. due to high load;
paulson <lp15@cam.ac.uk> [Wed, 26 Mar 2025 21:11:04 +0000] rev 82351
More from Theta_Functions_Library
paulson [Tue, 25 Mar 2025 21:34:36 +0000] rev 82350
merged
paulson <lp15@cam.ac.uk> [Tue, 25 Mar 2025 21:19:26 +0000] rev 82349
More migration from Theta_Functions_Library
desharna [Tue, 25 Mar 2025 17:38:57 +0100] rev 82348
added type annotations
desharna [Tue, 25 Mar 2025 17:11:36 +0100] rev 82347
tuned
desharna [Tue, 25 Mar 2025 15:26:48 +0100] rev 82346
tuned to avoid list traversal and memory allocation
desharna [Tue, 25 Mar 2025 15:24:30 +0100] rev 82345
tuned to avoid list traversal and memory allocation
desharna [Tue, 25 Mar 2025 15:14:08 +0100] rev 82344
tuned to avoid list traversal and memory allocation
desharna [Tue, 25 Mar 2025 13:42:15 +0100] rev 82343
moved command try0 into its own new theory
desharna [Tue, 25 Mar 2025 09:10:44 +0100] rev 82342
renamed lemmas
nipkow [Tue, 25 Mar 2025 09:41:01 +0100] rev 82341
merged
nipkow [Tue, 25 Mar 2025 09:40:45 +0100] rev 82340
weakened hypothesis (suggested by Moritz Roos)
desharna [Tue, 25 Mar 2025 09:06:57 +0100] rev 82339
tuned variable names such that A \<subseteq> B
paulson <lp15@cam.ac.uk> [Mon, 24 Mar 2025 21:24:03 +0000] rev 82338
New material by Manuel Eberl
desharna [Mon, 24 Mar 2025 14:29:52 +0100] rev 82337
moved lemmas around
desharna [Mon, 24 Mar 2025 14:27:18 +0100] rev 82336
added lemmas asymp_on_mono_strong and asymp_on_mono[mono]
desharna [Mon, 24 Mar 2025 14:21:36 +0100] rev 82335
added lemmas irreflp_on_mono_strong and irreflp_on_mono[mono]
desharna [Mon, 24 Mar 2025 14:09:48 +0100] rev 82334
tuned variable names
desharna [Mon, 24 Mar 2025 14:09:05 +0100] rev 82333
tuned proof
desharna [Mon, 24 Mar 2025 14:08:20 +0100] rev 82332
moved lemmas around
desharna [Mon, 24 Mar 2025 14:05:55 +0100] rev 82331
removed reflp_mono (use reflp_on_mono_strong instead)
desharna [Mon, 24 Mar 2025 14:04:11 +0100] rev 82330
added lemma reflp_on_mono[mono]
desharna [Mon, 24 Mar 2025 13:59:08 +0100] rev 82329
strengthened reflp_on_mono and renamed to reflp_on_mono_strong
desharna [Mon, 24 Mar 2025 09:56:20 +0100] rev 82328
added lemmas antisymp_on_mono_stronger, antisymp_on_mono_strong, antisymp_on_mono[mono]
desharna [Mon, 24 Mar 2025 09:53:17 +0100] rev 82327
moved lemmas around
desharna [Mon, 24 Mar 2025 09:04:53 +0100] rev 82326
proper lemma name