This chapter provides documentation on all the \ML\ functions that are made
available in \HOL\ when the \ml{wordn} library is loaded.
This documentation is
also available online via the \ml{help} facility.
