From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Thu, 7 Jul 2005 09:06:48 +0000 (+0000)
Subject: fixed according to the new fresh name generator
X-Git-Tag: V_0_7_1~36
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=49734f6f824dd310520cbb0cee0e605296e2d975;hp=49734f6f824dd310520cbb0cee0e605296e2d975;p=helm.git

fixed according to the new fresh name generator
---