Enhancements to the theorem environments, giving more choice in theorem layout. This package was implemented by an unknown author.