CONTRIBUTORS
authorhaftmann
Fri Jun 05 14:07:54 2009 +0200 (2009-06-05)
changeset 3146648805704ecc6
parent 31465 1ff89cc00898
child 31467 f7d2aa438bee
child 31481 60ae1588f232
CONTRIBUTORS
CONTRIBUTORS
     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  -----------------------------