[cvs-nhc98] patch applied (hat): Draft versions of most recent papers.

Wed Aug 14 10:09:31 PDT 2002 malcolm * Draft versions of most recent papers. A ./docs/afp2002.ps.gz A ./docs/ifl2002.ps.gz