[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Instanciating unboud varaibles



Hello again!

I cannot instanciate unbound varaibles, why?

For instance, i've got

 {-1}  FORALL (x) : expression(x)

where x is not used anywhere in the proof, and I do not care
about x, is it any mean to instanciate the formula?

Thank you

Laurent Ferier
FUNDP - Namur, Belgium
mailto:lfe@info.fundp.ac.be