# 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.