| changeset 70955 | 73ae8c30c6cb |
| parent 70265 | a8238fd25541 |
| child 71264 | 0c454a5d125d |
--- 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 -----------------------------