CONTRIBUTORS
changeset 39644 ad436fa9fc5b
parent 38656 d5d342611edb
child 40120 c57fffa2727c
     1.1 --- a/CONTRIBUTORS	Thu Sep 23 08:30:33 2010 +0200
     1.2 +++ b/CONTRIBUTORS	Thu Sep 23 09:53:52 2010 +0200
     1.3 @@ -6,11 +6,14 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 +* September 2010: Florian Haftmann, TUM
     1.8 +  Code generation for Scala.
     1.9 +
    1.10  * August 2010: Johannes Hoelzl, Armin Heller, and Robert Himmelmann, TUM
    1.11    Rewriting the Probability theory.
    1.12  
    1.13  * July 2010: Florian Haftmann, TUM
    1.14 -  Reworking and extension of the Isabelle/HOL framework.
    1.15 +  Reworking and extension of the Imperative HOL framework.
    1.16  
    1.17  
    1.18  Contributions to Isabelle2009-2
    1.19 @@ -86,7 +89,7 @@
    1.20    New quickcheck implementation using new code generator.
    1.21  
    1.22  * July 2009: Florian Haftmann, TUM
    1.23 -  HOL/Library/FSet: an explicit type of sets; finite sets ready to use
    1.24 +  HOL/Library/Fset: an explicit type of sets; finite sets ready to use
    1.25    for code generation.
    1.26  
    1.27  * June 2009: Florian Haftmann, TUM