CONTRIBUTORS
changeset 41596 e424bc65080d
parent 41567 72dd2eec64d8
child 41651 c78b786fe060
     1.1 --- a/CONTRIBUTORS	Sun Jan 16 20:55:48 2011 +0100
     1.2 +++ b/CONTRIBUTORS	Sun Jan 16 21:05:10 2011 +0100
     1.3 @@ -20,20 +20,20 @@
     1.4    partial orders in HOL.
     1.5  
     1.6  * September 2010: Florian Haftmann, TUM
     1.7 -  Refined concepts for evaluation, i.e., normalisation of terms using
     1.8 +  Refined concepts for evaluation, i.e., normalization of terms using
     1.9    different techniques.
    1.10  
    1.11  * September 2010: Florian Haftmann, TUM
    1.12    Code generation for Scala.
    1.13  
    1.14  * August 2010: Johannes Hoelzl, Armin Heller, and Robert Himmelmann, TUM
    1.15 -  Rewriting the Probability theory.
    1.16 +  Improved Probability theory in HOL.
    1.17  
    1.18  * July 2010: Florian Haftmann, TUM
    1.19    Reworking and extension of the Imperative HOL framework.
    1.20  
    1.21 -* July 2010: Alexander Krauss, TUM and Christian Sternagel, University of
    1.22 -    Innsbruck
    1.23 +* July 2010: Alexander Krauss, TUM and Christian Sternagel, University
    1.24 +    of Innsbruck
    1.25    Ad-hoc overloading. Generic do notation for monads.
    1.26  
    1.27