equal
deleted
inserted
replaced
1 For the purposes of the license agreement in the file COPYRIGHT, a |
1 For the purposes of the license agreement in the file COPYRIGHT, a |
2 'contributor' is anybody who is listed in this file (CONTRIBUTORS) or |
2 'contributor' is anybody who is listed in this file (CONTRIBUTORS) or |
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 Isabelle2013-1 |
7 -------------------------------------- |
7 ------------------------------- |
8 |
8 |
9 * September 2013: Nik Sultana, University of Cambridge |
9 * September 2013: Nik Sultana, University of Cambridge |
10 Improvements to HOL/TPTP parser and import facilities. |
10 Improvements to HOL/TPTP parser and import facilities. |
|
11 |
|
12 * Summer 2013: Makarius Wenzel, Université Paris-Sud / LRI |
|
13 Improvements of Isabelle/Scala and Isabelle/jEdit Prover IDE. |
11 |
14 |
12 * Summer 2013: Manuel Eberl, TUM |
15 * Summer 2013: Manuel Eberl, TUM |
13 Generation of elimination rules in the function package. |
16 Generation of elimination rules in the function package. |
14 New command "fun_cases". |
17 New command "fun_cases". |
15 |
18 |