Tue, 06 Sep 1994 11:02:16 +0200 | lcp | removal of needless quotes | changeset | files |
Wed, 31 Aug 1994 17:34:12 +0200 | nipkow | Updated datatype documentation with a few hints | changeset | files |
Thu, 25 Aug 1994 12:21:00 +0200 | lcp | new file of useful things for writing theory sections | changeset | files |