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 Isabelle2013-1 |
6 Contributions to Isabelle2013-1 |
7 ------------------------------- |
7 ------------------------------- |
|
8 |
|
9 * September 2013: Lars Noschinski, TUM |
|
10 Conversion between function definitions as list of equations and case |
|
11 expressions in HOL |
|
12 New library Simps_Case_Conv with commands case_of_simps, simps_of_case. |
8 |
13 |
9 * September 2013: Nik Sultana, University of Cambridge |
14 * September 2013: Nik Sultana, University of Cambridge |
10 Improvements to HOL/TPTP parser and import facilities. |
15 Improvements to HOL/TPTP parser and import facilities. |
11 |
16 |
12 * September 2013: Johannes Hölzl and Dmitriy Traytel, TUM |
17 * September 2013: Johannes Hölzl and Dmitriy Traytel, TUM |