jts@siemens.UUCP (11/21/87)
A couple of weeks ago I posted a note asking for information about third-party
internal hard drives for the SE. I've had people send me mail saying that they
too are interested in this information, but I haven't had very much mail from
people who have actually have a drive. If there are any such people out there,
I'd appreciate it if you could drop me a line.
(As a special incentive, I can offer to send to each person who responds a
personally-autographed, hand-inscribed, deluxe softcover copy of my thesis!
This thesis is not available in *any* store!! It contains hundreds (!!) of
pages on the connection between constructive logic and verified program
development, and it... umm... it... uh... Hmm. On second thought, maybe I
should threaten everyone who *doesn't* reply with a copy of my thesis.... (:-))
Seriously though, if you have some information, there are definitely people
who'd be interested in hearing it. Thank you.
Jim Sasaki (jts%siemens.com@princeton.edu, ...!princeton!siemens!com)