changeset 51173 | 3cbb4e95a565 |
parent 51167 | 55644f8caeb3 |
child 51487 | f4bfdee99304 |
--- a/CONTRIBUTORS Sun Feb 17 20:45:49 2013 +0100 +++ b/CONTRIBUTORS Sun Feb 17 21:29:30 2013 +0100 @@ -6,10 +6,13 @@ Contributions to this Isabelle version -------------------------------------- -* 2013: Florian Haftmann, TUM +* Feb. 2013: Florian Haftmann, TUM Reworking and consolidation of code generation for target language numerals. +* Feb. 2013: Florian Haftmann, TUM + Sieve of Eratosthenes. + Contributions to Isabelle2013 -----------------------------