CONTRIBUTORS

--- a/CONTRIBUTORS	Tue Oct 09 17:33:46 2012 +0200
+++ b/CONTRIBUTORS	Wed Oct 10 13:03:50 2012 +0200
@@ -9,6 +9,9 @@
 * 2012: Makarius Wenzel, Université Paris-Sud / LRI
   Improvements of Isabelle/Scala and Isabelle/jEdit Prover IDE.
 
+* October 2012: Andreas Lochbihler, KIT
+  Efficient construction of red black trees from sorted associative lists.
+
 * September 2012: Florian Haftmann, TUM
   Lattice instances for type option.