Doug Howe
Importing HOL Theorems into Nuprl
Doug Howe, Bell Labs, July 30, 1998
Structuring Proofs
Doug Howe and Paul Jackson, October 27, 1992
Fefprl
Doug Howe, October 20, 1992
Fefprl
Doug Howe, October 5, 1992
Department of Computer Science, Cornell University
nuprl@cs.cornell.edu