CONTRIBUTORS

--- a/CONTRIBUTORS	Fri Oct 29 22:54:54 2010 +0200
+++ b/CONTRIBUTORS	Fri Oct 29 22:59:40 2010 +0200
@@ -6,6 +6,9 @@
 Contributions to this Isabelle version
 --------------------------------------
 
+* October 2010: Dmitriy Traytel, TUM
+  Coercive subtyping via subtype constraints.
+
 * September 2010: Florian Haftmann, TUM
   Refined concepts for evaluation, i.e. normalisation of terms using different techniques.