CONTRIBUTORS
changeset 37144 fd6308b4df72
parent 36416 9459be72b89e
child 37282 935c75359742
     1.1 --- a/CONTRIBUTORS	Thu May 27 15:15:20 2010 +0200
     1.2 +++ b/CONTRIBUTORS	Thu May 27 15:28:23 2010 +0200
     1.3 @@ -3,17 +3,20 @@
     1.4  who is listed as an author in one of the source files of this Isabelle
     1.5  distribution.
     1.6  
     1.7 -Contributions to this Isabelle version
     1.8 +Contributions to Isabelle2009-2
     1.9  --------------------------------------
    1.10  
    1.11 -* April 2010, Florian Haftmann, TUM
    1.12 +* April 2010: Florian Haftmann, TUM
    1.13    Reorganization of abstract algebra type classes.
    1.14  
    1.15 -* April 2010, Florian Haftmann, TUM
    1.16 +* April 2010: Florian Haftmann, TUM
    1.17    Code generation for data representations involving invariants;
    1.18    various collections avaiable in theories Fset, Dlist, RBT,
    1.19    Mapping and AssocList.
    1.20  
    1.21 +* March 2010: Sascha Boehme, TUM
    1.22 +  Efficient SHA1 library for Poly/ML.
    1.23 +
    1.24  
    1.25  Contributions to Isabelle2009-1
    1.26  -------------------------------