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