Wed, 15 Nov 1995 13:28:21 +0100 | clasohm | added link to README.html or README | changeset | files |
Wed, 15 Nov 1995 13:27:57 +0100 | clasohm | HTML version of README | changeset | files |
Tue, 14 Nov 1995 12:13:02 +0100 | clasohm | enlarged the images | changeset | files |
Mon, 13 Nov 1995 16:44:48 +0100 | nipkow | Put IOA back into test | changeset | files |
Mon, 13 Nov 1995 12:06:57 +0100 | mueller | *** empty log message *** | changeset | files |
Sun, 12 Nov 1995 16:29:12 +0100 | nipkow | added new arithmetic lemmas and the functions take and drop. | changeset | files |
Sun, 12 Nov 1995 13:14:13 +0100 | nipkow | Set eta_contract to true. | changeset | files |