From: Luca Padovani <luca.padovani@unito.it>
Date: Fri, 6 Apr 2001 14:02:02 +0000 (+0000)
Subject: Initial revision
X-Git-Tag: v0_1_2~28
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=sidebyside;h=11c7ad24a9a6beda01423b8c4be28dcb736d1e30;hp=11c7ad24a9a6beda01423b8c4be28dcb736d1e30;p=helm.git

Initial revision
---