\def\filedate{90/06/04} This file contains problem-records and bug-reports. Unsolved problems and uncorrected but known bugs (so called features) start out with two exclamation marks before the number. Fixed problems will start with two asterisks. ** (1) FMi 90/04/19: It is necessary to declare at least one \theoremstyle. Otherwise the first use of a theorem enviroment might produce undesired results, i.e. a missing header or a missing item error or something of this sort. FMi 90/06/04: Fixed by introducing default in theorem.sty.