Fri, 10 Feb 2012 17:10:49 +0100 | blanchet | parse clauses generated from several formulas | changeset | files |
Fri, 10 Feb 2012 17:10:47 +0100 | blanchet | be more gentle when generating KBO weights | changeset | files |
Fri, 10 Feb 2012 16:33:58 +0100 | blanchet | update SPASS slices | changeset | files |