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 who is |
2 'contributor' is anybody who is listed in this file (CONTRIBUTORS) or who is |
3 listed as an author in one of the source files of this Isabelle distribution. |
3 listed as an author in one of the source files of this Isabelle distribution. |
4 |
4 |
5 |
5 |
6 Contributions to this Isabelle version |
6 Contributions to Isabelle2016-1 |
7 -------------------------------------- |
7 ------------------------------- |
8 |
8 |
9 * January 2016: Florian Haftmann, TUM |
9 * January 2016: Florian Haftmann, TUM |
10 Abolition of compound operators INFIMUM and SUPREMUM |
10 Abolition of compound operators INFIMUM and SUPREMUM |
11 for complete lattices. |
11 for complete lattices. |
12 |
12 |