HOL/Library/RBT.thy;
authorwenzelm
Wed Mar 05 14:34:39 2008 +0100 (2008-03-05)
changeset 26198865bca530d4c
parent 26197 46e63f49c946
child 26199 04817a8802f2
HOL/Library/RBT.thy;
CONTRIBUTORS
     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  -----------------------------