# HG changeset patch
# User wenzelm
# Date 1212010431 -7200
# Node ID 4f75f2c581235552493e7bb653c347e68dcca159
# Parent  9e39f5403db77b2643fe32db3a6fa6691ccf26b2
more contribs;

diff -r 9e39f5403db7 -r 4f75f2c58123 CONTRIBUTORS
--- a/CONTRIBUTORS	Wed May 28 23:33:36 2008 +0200
+++ b/CONTRIBUTORS	Wed May 28 23:33:51 2008 +0200
@@ -7,19 +7,38 @@
 Contributions to this Isabelle version
 --------------------------------------
 
-* November 2007: Peter Lammich, Uni Muenster
-  HOL-Lattice: some more lemmas.
+* 2007/2008:
+  Alexander Krauss, TUM and Florian Haftmann, TUM and Stefan Berghofer, TUM
+  HOL library improvements.
 
-* December 2007: Florian Haftmann, TUM
-  Overloading and Instantiation Target
+* 2007/2008: Brian Huffman, PSU
+  HOLCF library improvements.
+
+* 2007/2008: Stefan Berghofer, TUM
+  HOL-Nominal package improvements.  
+
+* March 2008: Markus Reiter, TUM
+  HOL/Library/RBT: red-black trees.
 
 * February 2008: Alexander Krauss, TUM and Florian Haftmann, TUM and
   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.
+* December 2007: Norbert Schirmer, Uni Saarbruecken
+  Misc improvements of record package in HOL.
+
+* December 2007: Florian Haftmann, TUM
+  Overloading and class instantiation target.
+
+* December 2007: Florian Haftmann, TUM
+  New version of primrec package for local theories.
+
+* December 2007: Alexander Krauss, TUM
+  Method "induction_scheme" in HOL.
+
+* November 2007: Peter Lammich, Uni Muenster
+  HOL-Lattice: some more lemmas.
 
 
 Contributions to Isabelle2007