\DOC Lib.doc

\TYPE {structure Lib}

\SYNOPSIS
Collection of commonly used functions.

\DESCRIBE
{Lib} is a collection of functions that have been found useful in
writing the HOL system.

\COMMENTS
The SML Basis Library offers alternatives to some of the functions
found in {Lib}.

\ENDDOC