equal
deleted
inserted
replaced
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 this Isabelle version |
7 -------------------------------------- |
7 -------------------------------------- |
|
8 |
|
9 * September 2011: Peter Gammie |
|
10 Theory HOL/Libary/Saturated: numbers with saturated arithmetic. |
|
11 |
|
12 * August 2011: Florian Haftmann, Johannes Hölzl and Lars Noschinski, TUM |
|
13 Refined theory on complete lattices. |
8 |
14 |
9 |
15 |
10 Contributions to Isabelle2011 |
16 Contributions to Isabelle2011 |
11 ----------------------------- |
17 ----------------------------- |
12 |
18 |