diff -r a168ac750096 -r 9459be72b89e CONTRIBUTORS
--- a/CONTRIBUTORS	Tue Apr 27 09:49:40 2010 +0200
+++ b/CONTRIBUTORS	Tue Apr 27 10:42:41 2010 +0200
@@ -6,6 +6,14 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* April 2010, Florian Haftmann, TUM
+  Reorganization of abstract algebra type classes.
+
+* April 2010, Florian Haftmann, TUM
+  Code generation for data representations involving invariants;
+  various collections avaiable in theories Fset, Dlist, RBT,
+  Mapping and AssocList.
+
 
 Contributions to Isabelle2009-1
 -------------------------------