CONTRIBUTORS

--- a/CONTRIBUTORS	Wed Oct 14 22:30:18 2020 +0200
+++ b/CONTRIBUTORS	Thu Oct 15 13:24:16 2020 +0200
@@ -6,6 +6,9 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* October 2020: Mathias Fleury
+  Updated proof reconstruction for the SMT solver veriT in the smt method.
+
 * August 2020: Makarius Wenzel
   Improved monitoring of runtime statistics: ML GC progress and Java.