1\label{chap:ref} 2This chapter provides documentation on the \ML\ functions that are made 3available in \HOL\ when the \ml{pair} library is loaded. This documentation 4is also available online via the \ml{help} facility. 5