| 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 |
| Tue, 07 Dec 2010 11:56:01 +0100 | blanchet | simplified special handling of set products | changeset | files |
| Tue, 07 Dec 2010 11:56:01 +0100 | blanchet | fix special handling of set products | changeset | files |
| Tue, 07 Dec 2010 11:56:01 +0100 | blanchet | use heuristic to determine whether to keep or drop an existing "let" -- and drop all higher-order lets | changeset | files |