updated
authorhaftmann
Fri Mar 16 21:32:05 2007 +0100 (2007-03-16)
changeset 22449ece6952a8975
parent 22448 f982e73e36de
child 22450 51ee032f9591
updated
CONTRIBUTORS
     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