The Coq mailing list

[Paolo Herms <paolo.herms AT cea.fr>]

On Monday 11 July 2011 11:28:51 Coq Dev wrote:
> Is it possible to fold a "not" after it has been unfolded? For instance:
> 
And the following should work, too, but currently fails with an exception:

change (?X -> False) with (not X) in *.

Maybe anybody wants to fix this for a future version...
-- 
Paolo Herms
PhD Student - CEA Software Safety Lab. / INRIA ProVal Project
Paris, France