# HG changeset patch
# User blanchet
# Date 1393925737 -3600
# Node ID 307115c3b9691c94bc96344e919a38ac7d4f0edd
# Parent  b9468e4e8c05e9828ae2389148afa5c7c25793a7# Parent  74a2758dcbae8d7f15e349eb9c9a8486feb3ea5b
merge

diff -r b9468e4e8c05 -r 307115c3b969 CONTRIBUTORS
--- a/CONTRIBUTORS	Tue Mar 04 09:29:56 2014 +0100
+++ b/CONTRIBUTORS	Tue Mar 04 10:35:37 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.