| Thu, 12 May 2011 15:29:19 +0200 | blanchet | ensure type class predicates are generated in symbol declarations (for "poly_preds" and similar) | changeset | files |
| Thu, 12 May 2011 15:29:18 +0200 | blanchet | avoid "Empty" exception by making sure that a certain optimization only is attempted when it makes sense | changeset | files |
| Thu, 12 May 2011 15:29:18 +0200 | blanchet | added "force_sos" options to control SPASS's and Vampire's use of SOS in experiments + added corresponding Mirabelle options | changeset | files |