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.
contributors
authorAndreas Lochbihler <mail@andreas-lochbihler.de>
Sun, 31 Jan 2021 12:10:20 +0100
changeset 73213 bb35f7f60d6c
parent 73212 87e3c180044a
child 73220 6974bca47856
contributors
CONTRIBUTORS file | annotate | diff | comparison | revisions 
--- a/CONTRIBUTORS	Sun Jan 31 08:49:47 2021 +0100
+++ b/CONTRIBUTORS	Sun Jan 31 12:10:20 2021 +0100
@@ -9,6 +9,8 @@
 * January 2021: Jakub Kądziołka
   Some lemmas for HOL-Computational_Algebra.
 
+* January 2021: Martin Rasyzk
+  Fast set operations for red-black trees.
 
 Contributions to Isabelle2021
 -----------------------------
isabelle