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 Contributions to this Isabelle version |
7 Contributions to this Isabelle version |
7 -------------------------------------- |
8 -------------------------------------- |
8 |
9 |
9 * November 2007: Peter Lammich, Uni Muenster |
10 * November 2007: Peter Lammich, Uni Muenster |
10 HOL-Lattice: some more lemmas. |
11 HOL-Lattice: some more lemmas. |
11 |
12 |
12 * December 2007: Florian Haftmann, TUM |
13 * December 2007: Florian Haftmann, TUM |
13 Overloading and Instantiation Target |
14 Overloading and Instantiation Target |
14 |
15 |
15 * February 2008: Alexander Krauss, Florian Haftmann & Lukas Bulwahn, TUM |
16 * February 2008: Alexander Krauss, TUM and Florian Haftmann, TUM and |
16 and John Matthews, Galois: HOL/Library/Imperative_HOL: Haskell-style |
17 Lukas Bulwahn, TUM and John Matthews, Galois: |
17 imperative data structures for HOL. |
18 HOL/Library/Imperative_HOL: Haskell-style imperative data structures |
|
19 for HOL. |
18 |
20 |
19 * March 2008: Markus Reiter, TUM |
21 * March 2008: Markus Reiter, TUM |
20 HOL/Library/RBT: red-black trees. |
22 HOL/Library/RBT: red-black trees. |
|
23 |
21 |
24 |
22 Contributions to Isabelle2007 |
25 Contributions to Isabelle2007 |
23 ----------------------------- |
26 ----------------------------- |
24 |
27 |
25 * October 2007: Norbert Schirmer, TUM / Uni Saarbruecken |
28 * October 2007: Norbert Schirmer, TUM / Uni Saarbruecken |