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 Isabelle2012 |
7 -------------------------------------- |
7 ----------------------------- |
8 |
8 |
9 * March 2012: Christian Sternagel, Japan Advanced Institute of Science and Technology |
9 * March 2012: Christian Sternagel, Japan Advanced Institute of Science |
|
10 and Technology |
10 Consolidated theory of relation composition. |
11 Consolidated theory of relation composition. |
11 |
12 |
12 * March 2012: Nik Sultana, University of Cambridge |
13 * March 2012: Nik Sultana, University of Cambridge |
13 HOL/TPTP parser and import facilities. |
14 HOL/TPTP parser and import facilities. |
14 |
|
15 * January 2012: Florian Haftmann, TUM, et. al. |
|
16 (Re-)Introduction of the "set" type constructor. |
|
17 |
15 |
18 * March 2012: Cezary Kaliszyk, University of Innsbruck and |
16 * March 2012: Cezary Kaliszyk, University of Innsbruck and |
19 Alexander Krauss, QAware GmbH |
17 Alexander Krauss, QAware GmbH |
20 Faster and more scalable Import mechanism for HOL Light proofs. |
18 Faster and more scalable Import mechanism for HOL Light proofs. |
|
19 |
|
20 * January 2012: Florian Haftmann, TUM, et. al. |
|
21 (Re-)Introduction of the "set" type constructor. |
|
22 |
|
23 * 2011/2012: Makarius Wenzel, Université Paris-Sud / LRI |
|
24 Improvements of Isabelle/Scala layer and Isabelle/jEdit Prover IDE. |
21 |
25 |
22 |
26 |
23 Contributions to Isabelle2011-1 |
27 Contributions to Isabelle2011-1 |
24 ------------------------------- |
28 ------------------------------- |
25 |
29 |