Chet Murthy
Chet Says Good-Bye
Chet Murthy, February 14, 1995
The Engineering Aspects of Proof-Environment Design
Chet Murthy, January 24, 1995
TLA
Scott Stoller and Chet Murthy, November 1, 1994
A (Possibly) New Scheme for Libraries/Proof-Contexts
Chet Murthy, September 3, 1993
Department of Computer Science, Cornell University
nuprl@cs.cornell.edu