From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Tue, 15 Jan 2013 20:08:08 +0000 (+0000)
Subject: - some additions and renaming ...
X-Git-Tag: make_still_working~1342
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=81fc94f4f091ec35d41e2711207218d255b75273;hp=81fc94f4f091ec35d41e2711207218d255b75273;p=helm.git

- some additions and renaming ...
---