stale link

Laura Creighton
Tue Feb 25 10:52:02 2003

(due to 1.2 in the FAQ, I am reporting stale links to the mailing list,
which strikes me as odd.  Let me know what I should be doing instead
if this is wrong.)
refers to 'Curry-Howard isomorphism' but that link which points
is gone.

Laura Creighton