CONTRIBUTORS
changeset 51173 3cbb4e95a565
parent 51167 55644f8caeb3
child 51487 f4bfdee99304
     1.1 --- a/CONTRIBUTORS	Sun Feb 17 20:45:49 2013 +0100
     1.2 +++ b/CONTRIBUTORS	Sun Feb 17 21:29:30 2013 +0100
     1.3 @@ -6,10 +6,13 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 -* 2013: Florian Haftmann, TUM
     1.8 +* Feb. 2013: Florian Haftmann, TUM
     1.9    Reworking and consolidation of code generation for target
    1.10    language numerals.
    1.11  
    1.12 +* Feb. 2013: Florian Haftmann, TUM
    1.13 +  Sieve of Eratosthenes.
    1.14 +
    1.15  
    1.16  Contributions to Isabelle2013
    1.17  -----------------------------