From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 4 Sep 2007 09:39:56 +0000 (+0000)
Subject: 1. composition of coercions with saturations > 0 is now implemented
X-Git-Tag: make_still_working~6079
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=1f6aab137983a515b3ba4bb1d1efe0c9e22e889e;hp=1f6aab137983a515b3ba4bb1d1efe0c9e22e889e;p=helm.git

1. composition of coercions with saturations > 0 is now implemented
2. as a side effect, there is no longer any difference between composition
   of coercions and the compose tactic

TODO: composition of coercions having arity > 0 is not implemented yet
---