1.1 --- a/CONTRIBUTORS	Wed May 28 23:33:36 2008 +0200
     1.2 +++ b/CONTRIBUTORS	Wed May 28 23:33:51 2008 +0200
     1.3 @@ -7,19 +7,38 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 -* November 2007: Peter Lammich, Uni Muenster
     1.8 -  HOL-Lattice: some more lemmas.
     1.9 +* 2007/2008:
    1.10 +  Alexander Krauss, TUM and Florian Haftmann, TUM and Stefan Berghofer, TUM
    1.11 +  HOL library improvements.
    1.12  
    1.13 -* December 2007: Florian Haftmann, TUM
    1.14 -  Overloading and Instantiation Target
    1.15 +* 2007/2008: Brian Huffman, PSU
    1.16 +  HOLCF library improvements.
    1.17 +
    1.18 +* 2007/2008: Stefan Berghofer, TUM
    1.19 +  HOL-Nominal package improvements.  
    1.20 +
    1.21 +* March 2008: Markus Reiter, TUM
    1.22 +  HOL/Library/RBT: red-black trees.
    1.23  
    1.24  * February 2008: Alexander Krauss, TUM and Florian Haftmann, TUM and
    1.25    Lukas Bulwahn, TUM and John Matthews, Galois:
    1.26    HOL/Library/Imperative_HOL: Haskell-style imperative data structures
    1.27    for HOL.
    1.28  
    1.29 -* March 2008: Markus Reiter, TUM
    1.30 -  HOL/Library/RBT: red-black trees.
    1.31 +* December 2007: Norbert Schirmer, Uni Saarbruecken
    1.32 +  Misc improvements of record package in HOL.
    1.33 +
    1.34 +* December 2007: Florian Haftmann, TUM
    1.35 +  Overloading and class instantiation target.
    1.36 +
    1.37 +* December 2007: Florian Haftmann, TUM
    1.38 +  New version of primrec package for local theories.
    1.39 +
    1.40 +* December 2007: Alexander Krauss, TUM
    1.41 +  Method "induction_scheme" in HOL.
    1.42 +
    1.43 +* November 2007: Peter Lammich, Uni Muenster
    1.44 +  HOL-Lattice: some more lemmas.
    1.45  
    1.46  
    1.47  Contributions to Isabelle2007