# HG changeset patch
# User wenzelm
# Date 1204724079 -3600
# Node ID 865bca530d4ca4192c6fddceef33d40a5081f8ce
# Parent  46e63f49c9465c738c273c21e4f3f647ce37d3ce
HOL/Library/RBT.thy;

diff -r 46e63f49c946 -r 865bca530d4c 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
 -----------------------------