From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Thu, 21 Jun 2007 14:45:04 +0000 (+0000)
Subject: better description
X-Git-Tag: make_still_working~6243
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=sidebyside;h=4f0d6b053fd6edfed041f5e2fe4ab1e6e9df102a;hp=4f0d6b053fd6edfed041f5e2fe4ab1e6e9df102a;p=helm.git

better description
---