From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Sat, 17 May 2008 15:05:41 +0000 (+0000)
Subject: Missing whd.
X-Git-Tag: make_still_working~5182
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=sidebyside;h=b285ae14dec63e8fc3d82813742ca69e5eb3a9a0;hp=b285ae14dec63e8fc3d82813742ca69e5eb3a9a0;p=helm.git

Missing whd.
---