From: Andrea Asperti <andrea.asperti@unibo.it>
Date: Fri, 7 Nov 2008 16:53:55 +0000 (+0000)
Subject: The signature in "retrieve equations" must be extended with the equality if
X-Git-Tag: make_still_working~4579
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=8e76ac2823de8cffc0b5f75b36264f86e3d0b52d;hp=8e76ac2823de8cffc0b5f75b36264f86e3d0b52d;p=helm.git

The signature in "retrieve equations" must be extended with the equality if
not already there, otherwise it may hardly find any equation.
---