From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 8 Apr 2008 15:18:33 +0000 (+0000)
Subject: Bug fixed: the ens need not be ordered w.r.t. the declared variables.
X-Git-Tag: make_still_working~5406
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=sidebyside;h=8ac6bf64c23f94f6e255b56d341efea2303dd232;hp=8ac6bf64c23f94f6e255b56d341efea2303dd232;p=helm.git

Bug fixed: the ens need not be ordered w.r.t. the declared variables.
The latter order is the right one for abstraction.
---