1.1 --- a/CONTRIBUTORS	Sat May 10 14:13:20 2008 +0200
     1.2 +++ b/CONTRIBUTORS	Mon May 12 22:03:33 2008 +0200
     1.3 @@ -3,6 +3,7 @@
     1.4  who is listed as an author in one of the source files of this Isabelle
     1.5  distribution.
     1.6  
     1.7 +
     1.8  Contributions to this Isabelle version
     1.9  --------------------------------------
    1.10  
    1.11 @@ -12,13 +13,15 @@
    1.12  * December 2007: Florian Haftmann, TUM
    1.13    Overloading and Instantiation Target
    1.14  
    1.15 -* February 2008: Alexander Krauss, Florian Haftmann & Lukas Bulwahn, TUM
    1.16 -  and John Matthews, Galois: HOL/Library/Imperative_HOL: Haskell-style
    1.17 -  imperative data structures for HOL.
    1.18 +* February 2008: Alexander Krauss, TUM and Florian Haftmann, TUM and
    1.19 +  Lukas Bulwahn, TUM and John Matthews, Galois:
    1.20 +  HOL/Library/Imperative_HOL: Haskell-style imperative data structures
    1.21 +  for HOL.
    1.22  
    1.23  * March 2008: Markus Reiter, TUM
    1.24    HOL/Library/RBT: red-black trees.
    1.25  
    1.26 +
    1.27  Contributions to Isabelle2007
    1.28  -----------------------------
    1.29