CONTRIBUTORS
changeset 51167 55644f8caeb3
parent 50994 aafd4270b4d4
child 51173 3cbb4e95a565
     1.1 --- a/CONTRIBUTORS	Sat Feb 16 15:27:10 2013 +0100
     1.2 +++ b/CONTRIBUTORS	Sun Feb 17 10:40:53 2013 +0100
     1.3 @@ -6,6 +6,11 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 +* 2013: Florian Haftmann, TUM
     1.8 +  Reworking and consolidation of code generation for target
     1.9 +  language numerals.
    1.10 +
    1.11 +
    1.12  Contributions to Isabelle2013
    1.13  -----------------------------
    1.14