changeset 40534 | 4af3706bcd5d |
parent 40364 | c57fffa2727c |
child 40623 | 0e5d48096f58 |
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