| Fri, 26 Aug 2011 11:22:47 +0200 | nipkow | added lemma | changeset | files |
| Fri, 26 Aug 2011 10:25:13 +0200 | blanchet | added a component in generated file names reflecting whether the minimizer is used -- needed for evaluation to keep these files separated from the main problem files | changeset | files |
| Fri, 26 Aug 2011 10:12:17 +0200 | blanchet | comment | changeset | files |