CONTRIBUTORS;
authorwenzelm
Fri Oct 29 22:59:40 2010 +0200 (2010-10-29)
changeset 402874af3706bcd5d
parent 40286 b928e3960446
child 40289 b89dae026bae
CONTRIBUTORS;
CONTRIBUTORS
     1.1 --- a/CONTRIBUTORS	Fri Oct 29 22:54:54 2010 +0200
     1.2 +++ b/CONTRIBUTORS	Fri Oct 29 22:59:40 2010 +0200
     1.3 @@ -6,6 +6,9 @@
     1.4  Contributions to this Isabelle version
     1.5  --------------------------------------
     1.6  
     1.7 +* October 2010: Dmitriy Traytel, TUM
     1.8 +  Coercive subtyping via subtype constraints.
     1.9 +
    1.10  * September 2010: Florian Haftmann, TUM
    1.11    Refined concepts for evaluation, i.e. normalisation of terms using different techniques.
    1.12