The Coq mailing list

[Edsko de Vries <edskodevries AT gmail.com>]

Hi,

Thanks Dan and Andrej for your informative answers. Reading your  
emails led to read some of the stuff on observational equality etc and  
the problem with coinduction in Coq. Fascinating stuff -- it seems  
that I'm asking questions again whose answers are well over my head :)  
What else is new? :-)

Thanks again, much appreciated,

Edsko