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