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 -------------------------------