From: Andrea Asperti <andrea.asperti@unibo.it>
Date: Mon, 21 Dec 2009 08:41:29 +0000 (+0000)
Subject: Trying to be faster.
X-Git-Tag: make_still_working~3161
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=21ee96d317a4f0e7abfe76f697defe78acc10b94;hp=21ee96d317a4f0e7abfe76f697defe78acc10b94;p=helm.git

Trying to be faster.
---