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 * 2013: Florian Haftmann, TUM |
|
10 Reworking and consolidation of code generation for target |
|
11 language numerals. |
|
12 |
8 |
13 |
9 Contributions to Isabelle2013 |
14 Contributions to Isabelle2013 |
10 ----------------------------- |
15 ----------------------------- |
11 |
16 |
12 * 2012: Makarius Wenzel, Université Paris-Sud / LRI |
17 * 2012: Makarius Wenzel, Université Paris-Sud / LRI |