CONTRIBUTORS
changeset 49770 cf6a78acf445
parent 49532 6f7cc8e42716
child 50142 bc82d25af543
     1.1 --- a/CONTRIBUTORS	Tue Oct 09 17:33:46 2012 +0200
     1.2 +++ b/CONTRIBUTORS	Wed Oct 10 13:03:50 2012 +0200
     1.3 @@ -9,6 +9,9 @@
     1.4  * 2012: Makarius Wenzel, Université Paris-Sud / LRI
     1.5    Improvements of Isabelle/Scala and Isabelle/jEdit Prover IDE.
     1.6  
     1.7 +* October 2012: Andreas Lochbihler, KIT
     1.8 +  Efficient construction of red black trees from sorted associative lists.
     1.9 +
    1.10  * September 2012: Florian Haftmann, TUM
    1.11    Lattice instances for type option.
    1.12