equal
deleted
inserted
replaced
4 distribution. |
4 distribution. |
5 |
5 |
6 Contributions to this Isabelle version |
6 Contributions to this Isabelle version |
7 -------------------------------------- |
7 -------------------------------------- |
8 |
8 |
9 * March 2014: René Thiemann |
9 * March 2014: René Thiemann |
10 Improved code generation for multisets. |
10 Improved code generation for multisets. |
11 |
11 |
12 * January 2014: Lars Hupel, TUM |
12 * January 2014: Lars Hupel, TUM |
13 An improved, interactive simplifier trace with integration into the |
13 An improved, interactive simplifier trace with integration into the |
14 Isabelle/jEdit Prover IDE. |
14 Isabelle/jEdit Prover IDE. |
|
15 |
15 |
16 |
16 Contributions to Isabelle2013-1 |
17 Contributions to Isabelle2013-1 |
17 ------------------------------- |
18 ------------------------------- |
18 |
19 |
19 * September 2013: Lars Noschinski, TUM |
20 * September 2013: Lars Noschinski, TUM |