structure Lib
SYNOPSIS
Collection of commonly used functions.
DESCRIPTION
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.
HOL  Kananaskis-13