HOL: Reference

Lib

structure Lib

Collection of commonly used functions.

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.