| Tue, 26 Jul 2011 14:53:00 +0200 | blanchet | no need for existential witnesses for sorts in TFF and THF formats | changeset | files |
| Tue, 26 Jul 2011 14:53:00 +0200 | blanchet | mangle "undefined" | changeset | files |
| Tue, 26 Jul 2011 14:53:00 +0200 | blanchet | tuning -- remove useless function (at this point combinators are already in) | changeset | files |
| Tue, 26 Jul 2011 14:53:00 +0200 | blanchet | remove spurious message | changeset | files |
| Tue, 26 Jul 2011 14:53:00 +0200 | blanchet | give E at least two seconds -- anything else risks causing too early timeouts in the minimizer, because of too conservative time computations in E and eproof scripts | changeset | files |
| Tue, 26 Jul 2011 14:50:15 +0200 | Andreas Lochbihler | merged | changeset | files |