From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 8 Jul 2009 02:36:08 +0000 (+0000)
Subject: Metavariable case in does_not_occur (hence weakly/stricly, positive, etc.)
X-Git-Tag: make_still_working~3735
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=inline;h=498898aa5d4525d979fe5564c180ab75f6483c99;hp=498898aa5d4525d979fe5564c180ab75f6483c99;p=helm.git

Metavariable case in does_not_occur (hence weakly/stricly, positive, etc.)
relaxed. Is this always correct??
---