From: Alberto Griggio <griggio@fbk.eu>
Date: Mon, 26 Sep 2005 15:05:26 +0000 (+0000)
Subject: *** empty log message ***
X-Git-Tag: LAST_BEFORE_NEW~1
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=28ac70d3f475442cda4ef30e0e9c0e6d012b2527;hp=28ac70d3f475442cda4ef30e0e9c0e6d012b2527;p=helm.git

*** empty log message ***
---