CONTRIBUTORS
changeset 55913 c1409c103b77
parent 55895 74a2758dcbae
child 56118 d3967fdc800a
     1.1 --- a/CONTRIBUTORS	Tue Mar 04 16:16:05 2014 -0800
     1.2 +++ b/CONTRIBUTORS	Wed Mar 05 09:59:48 2014 +0100
     1.3 @@ -6,13 +6,14 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 -* March 2014: René Thiemann
     1.8 +* March 2014: René Thiemann
     1.9    Improved code generation for multisets.
    1.10  
    1.11  * January 2014: Lars Hupel, TUM
    1.12    An improved, interactive simplifier trace with integration into the
    1.13    Isabelle/jEdit Prover IDE.
    1.14  
    1.15 +
    1.16  Contributions to Isabelle2013-1
    1.17  -------------------------------
    1.18