Date: Fri, 24 Nov 89 12:31:45 GMT X-Mailer: Mail User's Shell (6.5.6 8/11/89) To: types@theory.LCS.MIT.EDU It looks like CUP want to reprint, so if anyone out there has comments...