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 |
|
6 Contributions to this Isabelle version |
|
7 -------------------------------------- |
|
8 |
|
9 * November 2007: Peter Lammich, Uni Muenster |
|
10 HOL-Lattice: some more lemmas. |
5 |
11 |
6 |
12 |
7 Contributions to Isabelle2007 |
13 Contributions to Isabelle2007 |
8 ----------------------------- |
14 ----------------------------- |
9 |
15 |