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

Kripke paper



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