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 Isabelle2011-1 |
7 -------------------------------------- |
7 ------------------------------- |
8 |
8 |
9 * September 2011: Peter Gammie |
9 * September 2011: Peter Gammie |
10 Theory HOL/Libary/Saturated: numbers with saturated arithmetic. |
10 Theory HOL/Libary/Saturated: numbers with saturated arithmetic. |
11 |
11 |
12 * August 2011: Florian Haftmann, Johannes Hölzl and Lars Noschinski, TUM |
12 * August 2011: Florian Haftmann, Johannes Hölzl and Lars Noschinski, TUM |