CONTRIBUTORS

--- a/CONTRIBUTORS	Thu Jul 08 08:44:18 2021 +0200
+++ b/CONTRIBUTORS	Thu Jul 08 15:10:52 2021 +0200
@@ -6,6 +6,9 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* July 2021: Jasmin Blanchette and Martin Desharnais
+  Various improvements to Sledgehammer.
+
 * March 2021: Lukas Stevens
   New order prover