CONTRIBUTORS

--- a/CONTRIBUTORS	Sat Dec 19 11:05:04 2015 +0100
+++ b/CONTRIBUTORS	Sat Dec 19 17:03:17 2015 +0100
@@ -6,6 +6,10 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* Autumn 2015: Florian Haftmann, TUM
+  Rewrite definitions for global interpretations and
+  sublocale declarations.
+
 * Autumn 2015: Andreas Lochbihler
   Bourbaki-Witt fixpoint theorem for increasing functions on
   chain-complete partial orders.