CONTRIBUTORS
changeset 36416 9459be72b89e
parent 33951 651028e34b5d
child 37144 fd6308b4df72
     1.1 --- a/CONTRIBUTORS	Tue Apr 27 09:49:40 2010 +0200
     1.2 +++ b/CONTRIBUTORS	Tue Apr 27 10:42:41 2010 +0200
     1.3 @@ -6,6 +6,14 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 +* April 2010, Florian Haftmann, TUM
     1.8 +  Reorganization of abstract algebra type classes.
     1.9 +
    1.10 +* April 2010, Florian Haftmann, TUM
    1.11 +  Code generation for data representations involving invariants;
    1.12 +  various collections avaiable in theories Fset, Dlist, RBT,
    1.13 +  Mapping and AssocList.
    1.14 +
    1.15  
    1.16  Contributions to Isabelle2009-1
    1.17  -------------------------------