Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
new contributor
authornipkow
Fri, 14 Oct 2022 14:39:45 +0200
changeset 76295 77e13a694cbe
parent 76294 642f1a36e1d6
child 76296 eb30869e7228
new contributor
CONTRIBUTORS file | annotate | diff | comparison | revisions 
--- a/CONTRIBUTORS	Fri Oct 14 10:35:07 2022 +0200
+++ b/CONTRIBUTORS	Fri Oct 14 14:39:45 2022 +0200
@@ -6,6 +6,9 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* October 2022: Jeremy Sylvestre
+  Lemmas for Fun and List.
+
 
 Contributions to Isabelle2022
 -----------------------------
isabelle