# HG changeset patch
# User krauss
# Date 1294865344 -3600
# Node ID a392a18676e960df43b336c32146d8372f687c9b
# Parent  c7e14c8088a63c055df8f4f10638f5314538bddc
CONTRIBUTORS

diff -r c7e14c8088a6 -r a392a18676e9 CONTRIBUTORS
--- 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
 -------------------------------