Documentation for hol98 libraries

Here is separate documentation for some of the libraries distributed with hol98. This documentation has not been updated since it was written for HOL88, but should be "mainly" correct.

Pair library

In DVI
In PDF
In PostScript

Predicate set library

In DVI
In PDF
In PostScript

Restricted quantifier library

Full documentation:

In DVI
In PDF
In PostScript

Six page summary:

In DVI
In PDF
In PostScript

Word library

In PDF
In PostScript

Michael Norrish <Michael.Norrish@cl.cam.ac.uk>

Last modified: Mon Jul 10 18:29:07 BST 2000