CONTRIBUTORS

--- a/CONTRIBUTORS	Fri Aug 02 15:42:47 2013 +0900
+++ b/CONTRIBUTORS	Wed Aug 07 15:35:33 2013 +0200
@@ -6,6 +6,10 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* Summer 2013: Christian Sternagel, JAIST
+  Improved support for adhoc overloading of constants, including
+  documentation and examples.
+
 * May 2013: Florian Haftmann, TUM
   Ephemeral interpretation in local theories.