# HG changeset patch
# User immler
# Date 1572192795 14400
# Node ID 73ae8c30c6cbc1e37ffab2168e7c67310fdd2193
# Parent  23e6eef4e6aa46a120c34105ca9f906657cb5ad3
added contributor

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
 -----------------------------