The Coq mailing list

[Edsko de Vries <devriese AT cs.tcd.ie>]

On Sat, Mar 21, 2009 at 10:36:07AM +0100, André Hirschowitz wrote:
> Hello,
> 
> My first impression is that you cannot:
> Take 
> A:=B = bool.
> a=b=true
> and
> f (true) =Id, f(false) = -Id
> Probably you oversimplified your problem?
> 
> ah

Yes, you are quite right :-( I'll have to prove a property of f so..

Thanks,

Edsko