--- a/CONTRIBUTORS Wed Jan 12 17:33:47 2011 +0100
+++ b/CONTRIBUTORS Wed Jan 12 21:49:04 2011 +0100
@@ -12,8 +12,13 @@
* October 2010: Dmitriy Traytel, TUM
Coercive subtyping via subtype constraints.
+* October 2010: Alexander Krauss, TUM
+ Command partial_function for function definitions based on complete
+ partial orders in HOL.
+
* September 2010: Florian Haftmann, TUM
- Refined concepts for evaluation, i.e. normalisation of terms using different techniques.
+ Refined concepts for evaluation, i.e., normalisation of terms using
+ different techniques.
* September 2010: Florian Haftmann, TUM
Code generation for Scala.
@@ -24,6 +29,10 @@
* July 2010: Florian Haftmann, TUM
Reworking and extension of the Imperative HOL framework.
+* July 2010: Alexander Krauss, TUM and Christian Sternagel, University of
+ Innsbruck
+ Ad-hoc overloading. Generic do notation for monads.
+
Contributions to Isabelle2009-2
-------------------------------