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 * August 2010: Johannes Hoelzl, Armin Heller, and Robert Himmelmann, TUM |
|
10 Rewriting the Probability theory. |
8 |
11 |
9 * July 2010: Florian Haftmann, TUM |
12 * July 2010: Florian Haftmann, TUM |
10 Reworking and extension of the Isabelle/HOL framework. |
13 Reworking and extension of the Isabelle/HOL framework. |
11 |
14 |
12 |
15 |