Subject: Programmer'sCore in .txt

From: [email-masked]
Date: Mon, 7 Dec 1992 12:18:06 -0800

Does ANYONE have the programmers core(LambdaCoreProgMan.texinfo) in TeX or
.txt (.txt is preferred.) format?  I would very much appreciate if anyone
would send me a copy of that, and LambdaCoreUserMan.texinfo. in txt or
TeX(.txt is preferred).