CONTRIBUTORS

--- a/CONTRIBUTORS	Thu Jun 18 09:07:30 2020 +0000
+++ b/CONTRIBUTORS	Thu Jun 18 09:07:30 2020 +0000
@@ -7,7 +7,10 @@
 --------------------------------------
 
 * May 2020: Florian Haftmann
-  HOL-Word bases on library theory of generic bit operations.
+  HOL-Word based on library theory of generic bit operations.
+
+* May 2020: Florian Haftmann
+  Generic algebraically founded bit operations NOT, AND, OR, XOR.
 
 
 Contributions to Isabelle2020