QED deafness

Gerard Huet (huet@petrus.inria.fr)
Tue, 10 May 1994 19:31:40 +0200

Hello, Rusty.
I have received nothing from QED since Fri, 28 Jan 1994 13:12:03 -0600,
there must be something wrong in my email listing.
The proper address to use is Gerard.Huet@inria.fr,
but eg. huet@inria.inria.fr does not work anymore.
Could you please check into it, and perhaps point me to an ftp
archive where I could get the missing infos. Anything important happened?