Date: Fri, 10 Jan 92 14:09:50 EST To: linear@cs.stanford.edu Folks, just a brief note since this seems to have confused people. The Kripke paper Mike Dunn and I put for ftping is a Plain TeX document, not a Latex document. Gerry