diff -r c4c612d92fcc -r 47a568d9067e CONTRIBUTORS
--- a/CONTRIBUTORS	Fri Jul 16 22:32:56 2021 +0200
+++ b/CONTRIBUTORS	Sat Jul 17 10:47:42 2021 +0200
@@ -6,9 +6,15 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* July 2021: Florian Haftmann
+  Further consolidation of bit operations and word types.
+
 * July 2021: Jasmin Blanchette and Martin Desharnais
   Various improvements to Sledgehammer.
 
+* June 2021: Florian Haftmann
+  More context situations susceptible to global_interpretation.
+
 * March 2021: Lukas Stevens
   New order prover