From: Andrea Asperti <andrea.asperti@unibo.it>
Date: Mon, 21 Jul 2003 17:03:37 +0000 (+0000)
Subject: The Aux argument of conclude is now of type string (used to be int).
X-Git-Tag: LucaOK~46
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=c43f710f5e23e940114b1623329f650814e783af;hp=c43f710f5e23e940114b1623329f650814e783af;p=helm.git

The Aux argument of conclude is now of type string (used to be int).
Case Fixed.
---