changeset 26198 | 865bca530d4c |
parent 25468 | d2c618390928 |
child 26728 | 1cfa52844c56 |
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 -----------------------------