Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
CONTRIBUTORS;
authorwenzelm
Fri, 29 Oct 2010 22:59:40 +0200
changeset 40287 4af3706bcd5d
parent 40286 b928e3960446
child 40289 b89dae026bae
CONTRIBUTORS;
CONTRIBUTORS file | annotate | diff | comparison | revisions 
--- 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.
isabelle