| Thu, 15 Jul 2004 08:38:37 +0200 | nipkow | *** empty log message *** | changeset | files |
| Wed, 14 Jul 2004 10:25:21 +0200 | nipkow | ? | changeset | files |
| Wed, 14 Jul 2004 10:25:03 +0200 | nipkow | added {0::nat..n(} = {..n(} | changeset | files |
| Tue, 13 Jul 2004 12:32:01 +0200 | nipkow | Got rid of Summation and made it a translation into setsum instead. | changeset | files |
| Mon, 12 Jul 2004 19:56:58 +0200 | webertj | read_dimacs_cnf_file added | changeset | files |
| Mon, 12 Jul 2004 15:15:23 +0200 | oheimb | added README | changeset | files |
| Mon, 12 Jul 2004 15:05:30 +0200 | oheimb | corrected bibtex entry | changeset | files |
| Mon, 12 Jul 2004 12:11:46 +0200 | nipkow | *** empty log message *** | changeset | files |