changeset 55895 | 74a2758dcbae |
parent 55316 | 885500f4aa6a |
child 55913 | c1409c103b77 |
--- a/CONTRIBUTORS Mon Mar 03 23:05:49 2014 +0100 +++ b/CONTRIBUTORS Tue Mar 04 08:19:04 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.