--- 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