changeset 22449 | ece6952a8975 |
parent 21242 | d73735bb33c1 |
child 23252 | 67268bb40b21 |
1.1 --- a/CONTRIBUTORS Fri Mar 16 17:17:36 2007 +0100 1.2 +++ b/CONTRIBUTORS Fri Mar 16 21:32:05 2007 +0100 1.3 @@ -2,6 +2,11 @@ 1.4 Contributions to Isabelle 1.5 ------------------------- 1.6 1.7 +* 2006/2007: Florian Haftmann, TUM 1.8 + Pure: generic code generator framework. 1.9 + Pure: class package. 1.10 + HOL: theory tuning, code generator setup. 1.11 + 1.12 * November 2006: Lukas Bulwahn, TUM 1.13 HOL/function: method "lexicographic_order". 1.14