CONTRIBUTORS

--- a/CONTRIBUTORS	Sun Jan 10 15:48:15 2021 +0100
+++ b/CONTRIBUTORS	Thu Jan 14 16:58:04 2021 +0000
@@ -6,6 +6,9 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* January 2021: Jakub Kądziołka
+  Some lemmas for HOL-Computational_Algebra.
+
 
 Contributions to Isabelle2021
 -----------------------------