From: Matteo Selmi <matteo.selmi@mail.polimi.it>
Date: Mon, 17 May 2004 20:58:56 +0000 (+0000)
Subject: Added a filter for uris in tactic "auto".
X-Git-Tag: V_0_0_9~49
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=6150b8ef905aaea17b47ff466c067054f976cd8f;hp=6150b8ef905aaea17b47ff466c067054f976cd8f;p=helm.git

Added a filter for uris in tactic "auto".
Uris of theorems containing, in the conclusion or in the hypothesis, constants not present in the proof (hypothesis or conclusion) are filtered out.
---