From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 5 Jan 2005 14:06:41 +0000 (+0000)
Subject: snapshot
X-Git-Tag: V_0_1_0~154
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=1850832c5f252cb6f79bce5184ccb9046a4057fb;hp=1850832c5f252cb6f79bce5184ccb9046a4057fb;p=helm.git

snapshot
---