diff -r 23e6eef4e6aa -r 73ae8c30c6cb CONTRIBUTORS
--- a/CONTRIBUTORS	Sun Oct 27 12:13:04 2019 -0400
+++ b/CONTRIBUTORS	Sun Oct 27 12:13:15 2019 -0400
@@ -6,6 +6,8 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* October 2019: Maximilian Schäffeler
+  Port of the HOL Light decision procedure for metric spaces.
 
 Contributions to Isabelle2019
 -----------------------------