equal
deleted
inserted
replaced
|
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 |
|
3 who is listed as an author in one of the source files of this Isabelle |
|
4 distribution. |
|
5 |
1 |
6 |
2 Contributions to Isabelle 2007 |
7 Contributions to Isabelle 2007 |
3 ------------------------------ |
8 ------------------------------ |
4 |
9 |
5 * June 2007: Amine Chaieb, TUM |
10 * June 2007: Amine Chaieb, TUM |
28 * May 2006: Amine Chaieb, TUM |
33 * May 2006: Amine Chaieb, TUM |
29 HOL-Complex: Ferrante and Rackoff Algorithm for linear real |
34 HOL-Complex: Ferrante and Rackoff Algorithm for linear real |
30 arithmetic. |
35 arithmetic. |
31 |
36 |
32 * February 2006: Benjamin Porter, NICTA |
37 * February 2006: Benjamin Porter, NICTA |
33 HOL and HOL-Complex: generalied mean value theorem, continuum is |
38 HOL and HOL-Complex: generalised mean value theorem, continuum is |
34 not denumerable, harmonic and arithmetic series, and denumerability |
39 not denumerable, harmonic and arithmetic series, and denumerability |
35 of rationals. |
40 of rationals. |
36 |
41 |
37 * October 2005: Martin Wildmoser, TUM |
42 * October 2005: Martin Wildmoser, TUM |
38 Sketch for Isar 'guess' element. |
43 Sketch for Isar 'guess' element. |