A modified version of the theorem-style which provides generation of lists of theorems. This has been superseded by ntheorem. The author is Wolfgang Andreas Schlechte.