Enhancements to the theorem environments, giving more choice in theorem layout.

It is part of the LaTeX tools bundle. The author is Frank Mittelbach.