CONTRIBUTORS

--- a/CONTRIBUTORS	Wed Mar 05 14:14:50 2008 +0100
+++ b/CONTRIBUTORS	Wed Mar 05 14:34:39 2008 +0100
@@ -9,6 +9,9 @@
 * November 2007: Peter Lammich, Uni Muenster
   HOL-Lattice: some more lemmas.
 
+* March 2008: Markus Reiter, TUM
+  HOL/Library/RBT: red-black trees.
+
 
 Contributions to Isabelle2007
 -----------------------------