[Prev][Next][Index][Thread]

CORRECTION: Bastad proceedings



Date: Fri, 21 Aug 92 09:03:29 +0200

In the table of contents of the Bastad proceedings one paper was
unfortunately missing:

	Randy Pollack: Typechecking in Pure Type Systems

It was in the proceedings but not in the table of contents and
therefore not in the list of papers in the previous message. I am
sorry for the mistake.

	kent petersson