changeset 55913 | c1409c103b77 |
parent 55895 | 74a2758dcbae |
child 56118 | d3967fdc800a |
--- a/CONTRIBUTORS Tue Mar 04 16:16:05 2014 -0800 +++ b/CONTRIBUTORS Wed Mar 05 09:59:48 2014 +0100 @@ -6,13 +6,14 @@ Contributions to this Isabelle version -------------------------------------- -* March 2014: René Thiemann +* 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. + Contributions to Isabelle2013-1 -------------------------------