HOL

On Howe's Importation of HOL into Nuprl
Evan Moran, September 29, 1998
Importing HOL Theorems into Nuprl
Doug Howe, Bell Labs, July 30, 1998
Developing Set Theory in HOL
Paul Jackson, February 28, 1995
HOL Workshop
Mark Aagaard, September 15, 1992

Return to Nuprl home page



Department of Computer Science, Cornell University juanita@cs.cornell.edu