--- a/CONTRIBUTORS Thu Oct 07 10:20:10 2021 +0200
+++ b/CONTRIBUTORS Thu Oct 07 10:34:48 2021 +0200
@@ -6,15 +6,19 @@
Contributions to Isabelle2021-1
-------------------------------
+* September .. October 2021: Jasmin Blanchette, Martin Desharnais,
+ Mathias Fleury, Makarius Wenzel
+ Upgrade of automatic theorem provers in Sledgehammer and the smt tactic.
+
* July .. September 2021: Makarius Wenzel
Significantly improved Isabelle/Haskell library.
+* July .. September 2021: Jasmin Blanchette, Martin Desharnais
+ Various improvements to Sledgehammer.
+
* 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.