CONTRIBUTORS

--- a/CONTRIBUTORS	Thu Dec 08 15:11:20 2016 +0100
+++ b/CONTRIBUTORS	Mon Dec 12 11:33:14 2016 +0100
@@ -6,6 +6,10 @@
 Contributions to Isabelle2016-1
 -------------------------------
 
+* December 2016: Ondřej Kunčar, TUM
+  Types_To_Sets: experimental extension of Higher-Order Logic to allow
+  translation of types to sets.
+
 * October 2016: Jasmin Blanchette
   Integration of Nunchaku model finder.