# HG changeset patch
# User wenzelm
# Date 1288385980 -7200
# Node ID 4af3706bcd5d0b78212815496862df5af327a196
# Parent  b928e3960446267de591c389ad3a3bd1a98f9508
CONTRIBUTORS;

diff -r b928e3960446 -r 4af3706bcd5d 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.