paulson [Tue, 22 Apr 2025 22:06:52 +0100] rev 82540
merged
paulson [Tue, 22 Apr 2025 17:35:13 +0100] rev 82539
merged
paulson <lp15@cam.ac.uk> [Tue, 22 Apr 2025 17:35:02 +0100] rev 82538
More tidying and some variable renaming
Manuel Eberl <manuel@pruvisto.org> [Tue, 22 Apr 2025 19:02:33 +0200] rev 82537
dropped problematic code equation for multisets for RBT code testing
Manuel Eberl <manuel@pruvisto.org> [Tue, 22 Apr 2025 15:41:34 +0200] rev 82536
removed possible problematic dependency in HOL-Library.Multiset
Manuel Eberl <manuel@pruvisto.org> [Tue, 22 Apr 2025 14:14:00 +0200] rev 82535
HOL-Library: multisets of a given size
Manuel Eberl <manuel@pruvisto.org> [Tue, 22 Apr 2025 12:53:32 +0200] rev 82534
some facts about derivatives of products
Manuel Eberl <manuel@pruvisto.org> [Fri, 18 Apr 2025 16:51:31 +0200] rev 82533
more about formal convergence of power series
Manuel Eberl <manuel@pruvisto.org> [Fri, 18 Apr 2025 16:51:23 +0200] rev 82532
removed name clash in some lemmas
Manuel Eberl <manuel@pruvisto.org> [Fri, 18 Apr 2025 12:33:01 +0200] rev 82531
added orphaned theory to HOL-Analysis