A modified version of the theorem-style which provides generation of lists of theorems. This has been superseded by ntheorem. This package was implemented by Wolfgang Andreas Schlechte. See also ntheorem.