From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Thu, 19 Jul 2007 10:03:42 +0000 (+0000)
Subject: COERCIONS: tentative addition of an equivalence relation over coercion source
X-Git-Tag: make_still_working~6154
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=sidebyside;h=4f2e7eacea9e8b3089a575d7bf529fd5e70e8453;hp=4f2e7eacea9e8b3089a575d7bf529fd5e70e8453;p=helm.git

COERCIONS: tentative addition of an equivalence relation over coercion source
carriers (convertibility) for the moment used only in the FunClass case.
---