| Thu, 12 May 2011 15:29:19 +0200 | blanchet | renamed "max_mono_instances" to "max_new_mono_instances" and changed its semantics accordingly | changeset | files |
| Thu, 12 May 2011 15:29:19 +0200 | blanchet | added unfold set constant functionality to Meson/Metis -- disabled by default for now | changeset | files |
| Thu, 12 May 2011 15:29:19 +0200 | blanchet | remove unused parameter | changeset | files |
| Thu, 12 May 2011 15:29:19 +0200 | blanchet | reduced penalty associated with existential quantifiers | changeset | files |
| Thu, 12 May 2011 15:29:19 +0200 | blanchet | ensure that Auto Sledgehammer is run with full type information | changeset | files |
| Thu, 12 May 2011 15:29:19 +0200 | blanchet | fine-tuned the relevance filter, so that equations of the form "c = (%x. _)" and constants occurring in chained facts are not unduely penalized | changeset | files |
| Thu, 12 May 2011 15:29:19 +0200 | blanchet | don't give weights to built-in symbols | changeset | files |