From: Andrea Asperti <andrea.asperti@unibo.it>
Date: Tue, 3 Apr 2012 09:17:00 +0000 (+0000)
Subject: Versione italiana
X-Git-Tag: make_still_working~1825
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=b8e426e4d942b7776fe8411f01df6974b2d35fc5;hp=b8e426e4d942b7776fe8411f01df6974b2d35fc5;p=helm.git

Versione italiana
---