CONTRIBUTORS

--- a/CONTRIBUTORS	Tue Oct 30 16:24:01 2018 +0100
+++ b/CONTRIBUTORS	Tue Oct 30 16:24:04 2018 +0100
@@ -6,6 +6,9 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* October 2018: Mathias Fleury
+  Proof reconstruction for the SMT solver veriT in the smt method
+
 
 Contributions to Isabelle2018
 -----------------------------