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 |
5 |
6 Contributions to this Isabelle version |
6 Contributions to Isabelle2016 |
7 -------------------------------------- |
7 ----------------------------- |
8 |
8 |
9 * Autumn 2015: Florian Haftmann, TUM |
9 * Autumn 2015: Florian Haftmann, TUM |
10 Rewrite definitions for global interpretations and |
10 Rewrite definitions for global interpretations and sublocale |
11 sublocale declarations. |
11 declarations. |
12 |
12 |
13 * Autumn 2015: Andreas Lochbihler |
13 * Autumn 2015: Andreas Lochbihler |
14 Bourbaki-Witt fixpoint theorem for increasing functions on |
14 Bourbaki-Witt fixpoint theorem for increasing functions on |
15 chain-complete partial orders. |
15 chain-complete partial orders. |
16 |
16 |