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.