From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 5 Sep 2003 10:59:02 +0000 (+0000)
Subject: Debugging infos removed.
X-Git-Tag: v0_0_1~36
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=b993b6f15936219a54b2c057fc75ec1b8dde243a;hp=b993b6f15936219a54b2c057fc75ec1b8dde243a;p=helm.git

Debugging infos removed.
---