CONTRIBUTORS

--- a/CONTRIBUTORS	Thu Sep 20 17:17:20 2012 +0200
+++ b/CONTRIBUTORS	Thu Sep 20 17:21:13 2012 +0200
@@ -26,6 +26,8 @@
 * June 2012: Felix Kuperjans, Lukas Bulwahn, TUM and Rafal Kolanski, NICTA
   Simproc for rewriting set comprehensions into pointfree expressions.
 
+* May 2012: Andreas Lochbihler, KIT
+  Theory of almost everywhere constant functions.
 
 Contributions to Isabelle2012
 -----------------------------