CONTRIBUTORS
authorkrauss
Wed Jan 12 21:49:04 2011 +0100 (2011-01-12)
changeset 41531a392a18676e9
parent 41530 c7e14c8088a6
child 41532 0d34deffb0e9
CONTRIBUTORS
CONTRIBUTORS
     1.1 --- a/CONTRIBUTORS	Wed Jan 12 17:33:47 2011 +0100
     1.2 +++ b/CONTRIBUTORS	Wed Jan 12 21:49:04 2011 +0100
     1.3 @@ -12,8 +12,13 @@
     1.4  * October 2010: Dmitriy Traytel, TUM
     1.5    Coercive subtyping via subtype constraints.
     1.6  
     1.7 +* October 2010: Alexander Krauss, TUM
     1.8 +  Command partial_function for function definitions based on complete
     1.9 +  partial orders in HOL.
    1.10 +
    1.11  * September 2010: Florian Haftmann, TUM
    1.12 -  Refined concepts for evaluation, i.e. normalisation of terms using different techniques.
    1.13 +  Refined concepts for evaluation, i.e., normalisation of terms using
    1.14 +  different techniques.
    1.15  
    1.16  * September 2010: Florian Haftmann, TUM
    1.17    Code generation for Scala.
    1.18 @@ -24,6 +29,10 @@
    1.19  * July 2010: Florian Haftmann, TUM
    1.20    Reworking and extension of the Imperative HOL framework.
    1.21  
    1.22 +* July 2010: Alexander Krauss, TUM and Christian Sternagel, University of
    1.23 +    Innsbruck
    1.24 +  Ad-hoc overloading. Generic do notation for monads.
    1.25 +
    1.26  
    1.27  Contributions to Isabelle2009-2
    1.28  -------------------------------