Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
added contributor
authorimmler
Sun, 27 Oct 2019 12:13:15 -0400
changeset 70955 73ae8c30c6cb
parent 70954 23e6eef4e6aa
child 70956 860198428664
added contributor
CONTRIBUTORS file | annotate | diff | comparison | revisions 
--- 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
 -----------------------------
isabelle