From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Tue, 13 Mar 2007 13:21:56 +0000 (+0000)
Subject: elim tactic: now takes a pattern instead of just a term
X-Git-Tag: make_still_working~6425
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=8ae990161006978a019f0afda4ff8d56a78d1fd0;hp=8ae990161006978a019f0afda4ff8d56a78d1fd0;p=helm.git

elim tactic: now takes a pattern instead of just a term
             works as before for now. the pattern wil be activated soon
Procedural:  cleaning up
ProofEngineReduction: new subst_inv function exactly inverts subst
---