From: Andrea Asperti <andrea.asperti@unibo.it>
Date: Mon, 28 Jul 2003 15:43:35 +0000 (+0000)
Subject: Added Method "exists".
X-Git-Tag: LucaOK~22
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=45bc31f244e06f1eead7c35bc5b812574edf1737;hp=45bc31f244e06f1eead7c35bc5b812574edf1737;p=helm.git

Added Method "exists".
---