CONTRIBUTORS

--- a/CONTRIBUTORS	Thu Jun 18 09:07:30 2020 +0000
+++ b/CONTRIBUTORS	Thu Jun 18 09:07:30 2020 +0000
@@ -6,6 +6,9 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* May 2020: Florian Haftmann
+  HOL-Word bases on library theory of generic bit operations.
+
 
 Contributions to Isabelle2020
 -----------------------------