1\DOC Lib.doc
2
3\TYPE {structure Lib}
4
5\SYNOPSIS
6Collection of commonly used functions.
7
8\DESCRIBE
9{Lib} is a collection of functions that have been found useful in
10writing the HOL system.
11
12\COMMENTS
13The SML Basis Library offers alternatives to some of the functions
14found in {Lib}.
15
16\ENDDOC
17