changeset 57237 | 74a2758dcbae |
parent 56658 | 885500f4aa6a |
child 57255 | 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.