| Tue, 22 Apr 2025 14:14:00 +0200 | Manuel Eberl | HOL-Library: multisets of a given size | changeset | files |
| Tue, 22 Apr 2025 12:53:32 +0200 | Manuel Eberl | some facts about derivatives of products | changeset | files |
| Fri, 18 Apr 2025 16:51:31 +0200 | Manuel Eberl | more about formal convergence of power series | changeset | files |
| Fri, 18 Apr 2025 16:51:23 +0200 | Manuel Eberl | removed name clash in some lemmas | changeset | files |
| Fri, 18 Apr 2025 12:33:01 +0200 | Manuel Eberl | added orphaned theory to HOL-Analysis | changeset | files |
| Fri, 18 Apr 2025 12:26:04 +0200 | Manuel Eberl | some facts about power series | changeset | files |
| Fri, 18 Apr 2025 10:58:16 +0200 | Manuel Eberl | moved some lemmas to where they fit better | changeset | files |