| 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 | |