From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 9 Oct 2006 18:26:05 +0000 (+0000)
Subject: Bugs fixed in merging of composite coercions. In particular the imperative
X-Git-Tag: 0.4.95@7852~914
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=3234ad630868fed918d9f3408da53e39e507d3d9;hp=3234ad630868fed918d9f3408da53e39e507d3d9;p=helm.git

Bugs fixed in merging of composite coercions. In particular the imperative
status was not handled properly and letins were handled inefficiently.
---