# HG changeset patch
# User Andreas Lochbihler <mail@andreas-lochbihler.de>
# Date 1612091420 -3600
# Node ID bb35f7f60d6ce596a6e3249d8627d9b91f820251
# Parent  87e3c180044a4289917c175348767abb0f346587
contributors

diff -r 87e3c180044a -r bb35f7f60d6c CONTRIBUTORS
--- 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
 -----------------------------