1.1 --- a/CONTRIBUTORS	Wed Mar 05 14:14:50 2008 +0100
     1.2 +++ b/CONTRIBUTORS	Wed Mar 05 14:34:39 2008 +0100
     1.3 @@ -9,6 +9,9 @@
     1.4  * November 2007: Peter Lammich, Uni Muenster
     1.5    HOL-Lattice: some more lemmas.
     1.6  
     1.7 +* March 2008: Markus Reiter, TUM
     1.8 +  HOL/Library/RBT: red-black trees.
     1.9 +
    1.10  
    1.11  Contributions to Isabelle2007
    1.12  -----------------------------