1.1 --- a/CONTRIBUTORS Fri Jun 05 13:35:33 2009 +0200
1.2 +++ b/CONTRIBUTORS Fri Jun 05 14:07:54 2009 +0200
1.3 @@ -7,6 +7,11 @@
1.4 Contributions to this Isabelle version
1.5 --------------------------------------
1.6
1.7 +* June 2009: Andreas Lochbihler, Uni Karlsruhe
1.8 + HOL/Library/Fin_Fun: almost everywhere constant functions
1.9 +
1.10 +* June 2009: Florian Haftmann, TUM
1.11 + HOL/Library/Tree: searchtrees implementing mappings, ready to use for code generation
1.12
1.13 Contributions to Isabelle2009
1.14 -----------------------------