# HG changeset patch
# User haftmann
# Date 1244203674 -7200
# Node ID 48805704ecc65580e59bfc18e688611b2bd7ce08
# Parent  1ff89cc00898ee623314afce89cf44861054517e
CONTRIBUTORS

diff -r 1ff89cc00898 -r 48805704ecc6 CONTRIBUTORS
--- a/CONTRIBUTORS	Fri Jun 05 13:35:33 2009 +0200
+++ b/CONTRIBUTORS	Fri Jun 05 14:07:54 2009 +0200
@@ -7,6 +7,11 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* June 2009: Andreas Lochbihler, Uni Karlsruhe
+  HOL/Library/Fin_Fun: almost everywhere constant functions
+
+* June 2009: Florian Haftmann, TUM
+  HOL/Library/Tree: searchtrees implementing mappings, ready to use for code generation
 
 Contributions to Isabelle2009
 -----------------------------