CONTRIBUTORS
changeset 55895 74a2758dcbae
parent 55316 885500f4aa6a
child 55913 c1409c103b77
     1.1 --- a/CONTRIBUTORS	Mon Mar 03 23:05:49 2014 +0100
     1.2 +++ b/CONTRIBUTORS	Tue Mar 04 08:19:04 2014 +0100
     1.3 @@ -6,6 +6,9 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 +* March 2014: René Thiemann
     1.8 +  Improved code generation for multisets.
     1.9 +
    1.10  * January 2014: Lars Hupel, TUM
    1.11    An improved, interactive simplifier trace with integration into the
    1.12    Isabelle/jEdit Prover IDE.