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