From: denes <??>
Date: Fri, 24 Jul 2009 13:26:36 +0000 (+0000)
Subject: Fixed pretty printer and debug printings
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=4693f3b9de6d867921b51f61e9a7dc36c3da1b77;hp=4693f3b9de6d867921b51f61e9a7dc36c3da1b77;p=helm.git

Fixed pretty printer and debug printings
---