| 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 |