The package offers enhancements for theorem-like environments:
easier control of layout; proper placement of endmarks even
when the environment ends with \end{enumerate} or
\end{displaymath} (including support for amsmath displayed-
equation environments); and support for making a list of
theorems, analagous to \listoffigures.