equal
deleted
inserted
replaced
3 who is listed as an author in one of the source files of this Isabelle |
3 who is listed as an author in one of the source files of this Isabelle |
4 distribution. |
4 distribution. |
5 |
5 |
6 Contributions to this Isabelle version |
6 Contributions to this Isabelle version |
7 -------------------------------------- |
7 -------------------------------------- |
|
8 |
|
9 * May 2014: Cezary Kaliszyk, University of Innsbruck, and Jasmin Blanchette, TUM |
|
10 SML-based engines for MaSh. |
8 |
11 |
9 * March 2014: René Thiemann |
12 * March 2014: René Thiemann |
10 Improved code generation for multisets. |
13 Improved code generation for multisets. |
11 |
14 |
12 * February 2014: Florian Haftmann, TUM |
15 * February 2014: Florian Haftmann, TUM |
16 Jasmin Blanchette, TUM |
19 Jasmin Blanchette, TUM |
17 Various improvements to the BNF-based (co)datatype package, including |
20 Various improvements to the BNF-based (co)datatype package, including |
18 a more polished "primcorec" command, optimizations, and integration in |
21 a more polished "primcorec" command, optimizations, and integration in |
19 the "HOL" session. |
22 the "HOL" session. |
20 |
23 |
21 * Winter 2014: Sascha Boehme, QAware GmbH, and Jasmin Blanchette, TUM |
24 * Winter/Spring 2014: Sascha Boehme, QAware GmbH, and Jasmin Blanchette, TUM |
22 "SMT2" module and "smt2" proof method, based on SMT-LIB 2 and Z3 4.3. |
25 "SMT2" module and "smt2" proof method, based on SMT-LIB 2 and Z3 4.3. |
23 |
26 |
24 * January 2014: Lars Hupel, TUM |
27 * January 2014: Lars Hupel, TUM |
25 An improved, interactive simplifier trace with integration into the |
28 An improved, interactive simplifier trace with integration into the |
26 Isabelle/jEdit Prover IDE. |
29 Isabelle/jEdit Prover IDE. |