Fri, 18 Nov 2011 11:47:12 +0100 | blanchet | eta-contract to avoid needless "lambda" wrappers | changeset | files |
Fri, 18 Nov 2011 11:47:12 +0100 | blanchet | quiet down SMT | changeset | files |
Fri, 18 Nov 2011 11:47:12 +0100 | blanchet | more aggressive lambda hiding (if we anyway need to pass an option to Metis) | changeset | files |