| Thu, 04 Apr 1996 18:01:26 +0200 | nipkow | Added 'constdefs' and extended the section on 'defs' | changeset | files |
| Thu, 04 Apr 1996 17:31:37 +0200 | nipkow | Messed up last update. | changeset | files |
| Thu, 04 Apr 1996 17:27:08 +0200 | nipkow | Replaced \CHOL by \HOLCF | changeset | files |