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 |
6 |
7 Contributions to Isabelle 2007 |
7 Contributions to Isabelle 2007 |
8 ------------------------------ |
8 ------------------------------ |
9 |
9 |
10 * August 2007: Jeremy Dawson, NICTA, |
10 * August 2007: Jeremy Dawson, NICTA and Paul Graunke, Galois and Brian |
11 Paul Graunke, Galois, |
11 Huffman, PSU and Gerwin Klein, NICTA and John Matthews, Galois |
12 Brian Huffman, PSU, |
|
13 Gerwin Klein, NICTA, |
|
14 John Matthews, Galois |
|
15 HOL-Word: a library for fixed-size machine words in Isabelle. |
12 HOL-Word: a library for fixed-size machine words in Isabelle. |
16 |
13 |
17 * August 2007: Brian Huffman, PSU |
14 * August 2007: Brian Huffman, PSU |
18 HOL/Library/Boolean_Algebra and HOL/Library/Numeral_Type |
15 HOL/Library/Boolean_Algebra and HOL/Library/Numeral_Type. |
19 |
16 |
20 * June 2007: Amine Chaieb, TUM |
17 * June 2007: Amine Chaieb, TUM |
21 Semiring normalization and Groebner Bases |
18 Semiring normalization and Groebner Bases. |
|
19 Support for dens linear orders. |
22 |
20 |
23 * June 2007: Joe Hurd, Oxford |
21 * June 2007: Joe Hurd, Oxford |
24 Metis theorem-prover |
22 Metis theorem-prover. |
25 |
23 |
26 * 2006/2007: Kong W. Susanto, Cambridge |
24 * 2007: Kong W. Susanto, Cambridge |
27 HOL: Metis prover integration. |
25 HOL: Metis prover integration. |
|
26 |
|
27 * 2007: Stefan Berghofer, TUM |
|
28 HOL: inductive predicates. |
|
29 |
|
30 * 2006/2007: Alexander Krauss, TUM |
|
31 HOL: function package and related theories on termination. |
28 |
32 |
29 * 2006/2007: Florian Haftmann, TUM |
33 * 2006/2007: Florian Haftmann, TUM |
30 Pure: generic code generator framework. |
34 Pure: generic code generator framework. |
31 Pure: class package. |
35 Pure: class package. |
32 HOL: theory tuning, code generator setup. |
36 HOL: theory reorganization, code generator setup. |
|
37 |
|
38 * 2006/2007: Christian Urban, TUM and Stefan Berghofer, TUM and Julien |
|
39 Narboux, TUM |
|
40 HOL/Nominal package and related tools. |
33 |
41 |
34 * November 2006: Lukas Bulwahn, TUM |
42 * November 2006: Lukas Bulwahn, TUM |
35 HOL/function: method "lexicographic_order". |
43 HOL: method "lexicographic_order" for function package. |
36 |
44 |
37 * October 2006: Stefan Hohe, TUM |
45 * October 2006: Stefan Hohe, TUM |
38 HOL-Algebra: ideals and quotients over rings. |
46 HOL-Algebra: ideals and quotients over rings. |
39 |
47 |
40 * August 2006: Amine Chaieb, TUM |
48 * August 2006: Amine Chaieb, TUM |