The following pages give all the definitions and theorems about lists in the
\ml{more\_lists} library.  The theorems are grouped into sections according to
subject matter. Some theorems could be classified under more than one subject,
but each theorem is listed in only one section. The reader may therefore have
to consult more than one section when searching for any particular theorem.


 When the library is loaded, all the theorems in the library are set up to
autoload when their names are mentioned in \ML.  The name of the theory in
which each theorem is stored is given in parentheses after the name of the
theorem.


