author | Andreas Lochbihler <mail@andreas-lochbihler.de> |
Sun, 31 Jan 2021 12:10:20 +0100 | |
changeset 73213 | bb35f7f60d6c |
parent 73212 | 87e3c180044a |
child 73220 | 6974bca47856 |
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 -----------------------------