From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 10 Mar 2008 10:02:57 +0000 (+0000)
Subject: Debugging print removed.
X-Git-Tag: make_still_working~5548
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=c4844619c0fd9af77adee75ee218c726b48293e6;hp=c4844619c0fd9af77adee75ee218c726b48293e6;p=helm.git

Debugging print removed.
---