From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Sun, 18 May 2008 19:29:56 +0000 (+0000)
Subject: names fixed accoding to the new ones generated after arity of
X-Git-Tag: make_still_working~5157
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=sidebyside;h=ecd41bb042961eca3138e5cdd26cbf9ab0ec99d8;hp=ecd41bb042961eca3138e5cdd26cbf9ab0ec99d8;p=helm.git

names fixed accoding to the new ones generated after arity of
indtypes is not cleaned for dummy names
---