CONTRIBUTORS

--- a/CONTRIBUTORS	Thu Oct 29 18:23:29 2020 +0000
+++ b/CONTRIBUTORS	Thu Oct 29 16:07:41 2020 +0100
@@ -6,6 +6,9 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* October 2020: Jasmin Blanchette, Martin Desharnais, Mathias Fleury
+  Use veriT in proof preplay in Sledgehammer.
+
 * October 2020: Mathias Fleury
   Updated proof reconstruction for the SMT solver veriT in the smt method.