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