# HG changeset patch
# User haftmann
# Date 1208845989 -7200
# Node ID 1cfa52844c566a1e5ddde514ddb05dd024c172bf
# Parent  b0d3e33c509323ea55d3615d98738b933b55673e
added entries

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
 -----------------------------