From: Andrea Asperti <andrea.asperti@unibo.it>
Date: Tue, 22 Jul 2003 15:11:55 +0000 (+0000)
Subject: Previous commit was erroneous and dit not compile.
X-Git-Tag: LucaOK~42
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=3aa140c526b4400548bd347025b1e763983d6cbb;hp=3aa140c526b4400548bd347025b1e763983d6cbb;p=helm.git

Previous commit was erroneous and dit not compile.
Fixed.
---