Path: utzoo!telly!ddsw1!mcdchg!rutgers!apple!bloom-beacon!mit-eddie!eric
From: eric@eddie.MIT.EDU (Eric Van Tassell)
Newsgroups: gnu.emacs
Subject: Sequent symmetry
Message-ID: <10303@eddie.MIT.EDU>
Date: 19 Oct 88 19:54:46 GMT
Organization: MIT EE/CS Computer Facility, Cambridge, MA
Lines: 1

Does anybody have the m- and s- files for a sequent symmetry(386)