diff -r 9c99fccce3cf -r 54b785efd547 CONTRIBUTORS
--- a/CONTRIBUTORS	Mon Oct 03 18:19:24 2016 +0200
+++ b/CONTRIBUTORS	Mon Oct 03 14:34:29 2016 +0200
@@ -6,13 +6,17 @@
 Contributions to this Isabelle version
 --------------------------------------
 
-* January 2016: Florian Haftmann
+* January 2016: Florian Haftmann, TUM
   Abolition of compound operators INFIMUM and SUPREMUM
   for complete lattices.
 
-* March 2016: Florian Haftmann
+* March 2016: Florian Haftmann, TUM
   Abstract factorial rings with unique factorization.
 
+* March 2016: Florian Haftmann, TUM
+  Reworking of the HOL char type as special case of a
+  finite numeral type.
+
 * March 2016: Andreas Lochbihler
   Reasoning support for monotonicity, continuity and
   admissibility in chain-complete partial orders.
@@ -23,6 +27,11 @@
 * June 2016: Andreas Lochbihler
   Formalisation of discrete subprobability distributions.
 
+* June 2016: Florian Haftmann, TUM
+  Improvements to code generation: optional timing measurements,
+  more succint closures for static evaluation, less ambiguities
+  concering Scala implicits.
+
 * July 2016: Daniel Stuewe
   Height-size proofs in HOL/Data_Structures