| Thu, 09 Feb 2023 15:36:06 +0000 | paulson | Even more new material from Eberl and Li | changeset | files |
| Thu, 09 Feb 2023 13:36:53 +0000 | paulson | merged | changeset | files |
| Thu, 09 Feb 2023 13:36:25 +0000 | paulson | More material for Analysis and Complex_Analysis | changeset | files |
| Thu, 09 Feb 2023 08:35:50 +0000 | haftmann | actually executable enum_all, enum_ex for word | changeset | files |
| Thu, 09 Feb 2023 12:51:18 +0100 | nipkow | tuned text | changeset | files |
| Wed, 08 Feb 2023 15:05:24 +0000 | paulson | Lots of new material chiefly about complex analysis | changeset | files |
| Tue, 07 Feb 2023 14:10:15 +0000 | paulson | merged | changeset | files |
| Tue, 07 Feb 2023 14:10:08 +0000 | paulson | More new theorems from the number theory development | changeset | files |
| Mon, 06 Feb 2023 21:32:22 +0100 | wenzelm | merged | changeset | files |
| Mon, 06 Feb 2023 21:31:49 +0100 | wenzelm | proper orientation for right-associative operations; | changeset | files |
| Mon, 06 Feb 2023 16:29:19 +0100 | wenzelm | tuned signature; | changeset | files |
| Mon, 06 Feb 2023 16:26:40 +0100 | wenzelm | tuned signature; | changeset | files |