1.1 --- a/CONTRIBUTORS	Mon Apr 21 00:06:55 2008 +0200
     1.2 +++ b/CONTRIBUTORS	Tue Apr 22 08:33:09 2008 +0200
     1.3 @@ -9,10 +9,16 @@
     1.4  * November 2007: Peter Lammich, Uni Muenster
     1.5    HOL-Lattice: some more lemmas.
     1.6  
     1.7 +* December 2007: Florian Haftmann, TUM
     1.8 +  Overloading and Instantiation Target
     1.9 +
    1.10 +* February 2008: Alexander Krauss, Florian Haftmann & Lukas Bulwahn, TUM
    1.11 +  and John Matthews, Galois: HOL/Library/Imperative_HOL: Haskell-style
    1.12 +  imperative data structures for HOL.
    1.13 +
    1.14  * March 2008: Markus Reiter, TUM
    1.15    HOL/Library/RBT: red-black trees.
    1.16  
    1.17 -
    1.18  Contributions to Isabelle2007
    1.19  -----------------------------
    1.20