| Thu, 12 Oct 2023 12:36:09 +0100 | paulson | Fixed the duplication of fls_compose_fps, moving the definition in Laurent_Convergence to Formal_Laurent_Series along with several simpler facts | file | diff | annotate |
| Wed, 27 Sep 2023 13:34:15 +0100 | paulson | Importing or moving a few more useful theorems | file | diff | annotate |
| Mon, 21 Aug 2023 18:38:25 +0100 | paulson | Numerous minor tweaks and simplifications | file | diff | annotate |
| Mon, 20 Feb 2023 15:19:53 +0000 | paulson | Replacing z powr of_int i by z powi i and adding new material from the AFP | file | diff | annotate |
| Thu, 16 Feb 2023 12:21:21 +0000 | paulson | More of Eberl's contributions: memomorphic functions | file | diff | annotate |