Wed, 20 Feb 2013 09:58:28 +0100 | blanchet | fixed typo in option name | changeset | files |
Wed, 20 Feb 2013 08:56:34 +0100 | blanchet | tuning | changeset | files |
Wed, 20 Feb 2013 08:44:24 +0100 | blanchet | use new skolemizer only if some skolems have two or more arguments -- otherwise the old skolemizer cannot get the arg order wrong | changeset | files |