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