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