CONTRIBUTORS

--- a/CONTRIBUTORS	Sun Oct 18 13:10:09 2020 +0200
+++ b/CONTRIBUTORS	Mon Oct 19 11:48:00 2020 +0200
@@ -9,6 +9,9 @@
 * October 2020: Mathias Fleury
   Updated proof reconstruction for the SMT solver veriT in the smt method.
 
+* October 2020: Jasmin Blanchette, Martin Desharnais
+  Integration of E 2.5 for Sledgehammer.
+
 * August 2020: Makarius Wenzel
   Improved monitoring of runtime statistics: ML GC progress and Java.