----------------------------------------------------------------------
Lib.doc
----------------------------------------------------------------------
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}.

----------------------------------------------------------------------