Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
CONTRIBUTORS
changeset 68522 d9cbc1e8644d
parent 68466 3d8241f4198b
child 68531 7c6f812afdc4
child 68532 f8b98d31ad45
child 68545 7922992c99ea 
--- a/CONTRIBUTORS	Wed Jun 27 10:18:03 2018 +0200
+++ b/CONTRIBUTORS	Wed Jun 27 11:16:43 2018 +0200
@@ -6,6 +6,9 @@
 Contributions to Isabelle2018
 -----------------------------
 
+* June 2018: Fabian Immler
+  More tool support for HOL-Types_To_Sets.
+
 * June 2018: Martin Baillon and Paulo Emílio de Vilhena
   A variety of contributions to HOL-Algebra.
isabelle