The HOL wellorder Library
John Harrison
.
Unpublished manual, 30th May 1992.
Abstract:
This is the online manual for the HOL wellorder library, included in the standard release of the Cambridge
HOL system
.
DVI
or
PostScript