From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 2 Mar 2004 18:30:25 +0000 (+0000)
Subject: Improved output when [ MANY ] occurs.
X-Git-Tag: v0_0_4~50
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=5e1c4e50b88cd1b75a14a34b93297a3aba6af890;hp=5e1c4e50b88cd1b75a14a34b93297a3aba6af890;p=helm.git

Improved output when [ MANY ] occurs.
---