QED deafness

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

Messages sorted by: [ date ][ thread ][ subject ][ author ]
Next message: Lyle Burkhead: "The Fermat-Wiles Theorem"
Previous message: Lyle Burkhead: "Platonism"

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?

Thanks,
Gerard

Next message: Lyle Burkhead: "The Fermat-Wiles Theorem"
Previous message: Lyle Burkhead: "Platonism"