Mon, 04 Jan 1999 16:13:57 +0100 | nipkow | *** empty log message *** | changeset | files |
Mon, 04 Jan 1999 15:08:40 +0100 | nipkow | Version 1 of linear arithmetic for nat. | changeset | files |
Mon, 04 Jan 1999 15:07:47 +0100 | nipkow | Version 1.0 of linear nat arithmetic. | changeset | files |