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 * Summer 2013: Christian Sternagel, JAIST |
|
10 Improved support for adhoc overloading of constants, including |
|
11 documentation and examples. |
8 |
12 |
9 * May 2013: Florian Haftmann, TUM |
13 * May 2013: Florian Haftmann, TUM |
10 Ephemeral interpretation in local theories. |
14 Ephemeral interpretation in local theories. |
11 |
15 |
12 * May 2013: Lukas Bulwahn and Nicolai Schaffroth, TUM |
16 * May 2013: Lukas Bulwahn and Nicolai Schaffroth, TUM |