diff -r b0d3e33c5093 -r 1cfa52844c56 CONTRIBUTORS
--- a/CONTRIBUTORS	Mon Apr 21 00:06:55 2008 +0200
+++ b/CONTRIBUTORS	Tue Apr 22 08:33:09 2008 +0200
@@ -9,10 +9,16 @@
 * November 2007: Peter Lammich, Uni Muenster
   HOL-Lattice: some more lemmas.
 
+* December 2007: Florian Haftmann, TUM
+  Overloading and Instantiation Target
+
+* February 2008: Alexander Krauss, Florian Haftmann & Lukas Bulwahn, TUM
+  and John Matthews, Galois: HOL/Library/Imperative_HOL: Haskell-style
+  imperative data structures for HOL.
+
 * March 2008: Markus Reiter, TUM
   HOL/Library/RBT: red-black trees.
 
-
 Contributions to Isabelle2007
 -----------------------------