| Mon, 25 Sep 2023 17:06:05 +0100 | paulson | A few new theorems | file | diff | annotate |
| Sat, 23 Sep 2023 18:45:19 +0100 | paulson | A few new or simplified proofs | file | diff | annotate |
| Thu, 16 Feb 2023 12:54:24 +0000 | paulson | Limit properties for complex exponential | file | diff | annotate |
| Tue, 07 Feb 2023 14:10:08 +0000 | paulson | More new theorems from the number theory development | file | diff | annotate |
| Wed, 01 Feb 2023 12:43:33 +0000 | paulson | More new material thanks to Manuel | file | diff | annotate |
| Tue, 31 Jan 2023 14:05:16 +0000 | paulson | Lots more new material thanks to Manuel Eberl | file | diff | annotate |
| Mon, 30 Jan 2023 15:24:17 +0000 | paulson | Moved in a large number of highly useful library lemmas, mostly due to Manuel Eberl | file | diff | annotate |