| Tue, 07 Dec 2010 11:56:56 +0100 | blanchet | updated Nitpick's documentation w.r.t. finitization | changeset | files |
| Tue, 07 Dec 2010 11:56:53 +0100 | blanchet | remove the "fin_fun" optimization in Nitpick -- it was always a hack and didn't help much | changeset | files |
| Tue, 07 Dec 2010 11:56:01 +0100 | blanchet | give the inner timeout mechanism a chance, since it gives more precise information to the user | changeset | files |
| Tue, 07 Dec 2010 11:56:01 +0100 | blanchet | updated monotonicity calculus w.r.t. set products | changeset | files |
| Tue, 07 Dec 2010 11:56:01 +0100 | blanchet | removed needless optimization for image -- there might be cases that benefit from it but there are others where it is clearly evil | changeset | files |
| Tue, 07 Dec 2010 11:56:01 +0100 | blanchet | added a hint when the user obviously just forgot a colon after the lemma's name | changeset | files |