From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Tue, 13 Sep 2005 13:22:23 +0000 (+0000)
Subject: regenerated
X-Git-Tag: V_0_1_2_1~26
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=sidebyside;h=295412c8773a6483962abcae3973faf3399c4822;hp=295412c8773a6483962abcae3973faf3399c4822;p=helm.git

regenerated
---