diff -r 8f3fe443948a -r 74a2758dcbae CONTRIBUTORS
--- a/CONTRIBUTORS	Mon Mar 03 23:05:49 2014 +0100
+++ b/CONTRIBUTORS	Tue Mar 04 08:19:04 2014 +0100
@@ -6,6 +6,9 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* March 2014: René Thiemann
+  Improved code generation for multisets.
+
 * January 2014: Lars Hupel, TUM
   An improved, interactive simplifier trace with integration into the
   Isabelle/jEdit Prover IDE.