equal
deleted
inserted
replaced
1 |
1 |
2 Contributions to Isabelle |
2 Contributions to Isabelle |
3 ------------------------- |
3 ------------------------- |
|
4 |
|
5 * 2006/2007: Florian Haftmann, TUM |
|
6 Pure: generic code generator framework. |
|
7 Pure: class package. |
|
8 HOL: theory tuning, code generator setup. |
4 |
9 |
5 * November 2006: Lukas Bulwahn, TUM |
10 * November 2006: Lukas Bulwahn, TUM |
6 HOL/function: method "lexicographic_order". |
11 HOL/function: method "lexicographic_order". |
7 |
12 |
8 * October 2006: Stefan Hohe, TUM |
13 * October 2006: Stefan Hohe, TUM |