Wed, 20 Feb 2013 17:42:20 +0100 | blanchet | ensure all conjecture clauses are in the graph -- to prevent exceptions later | changeset | files |
Wed, 20 Feb 2013 17:31:28 +0100 | blanchet | generalize syntax of SPASS proofs | changeset | files |
Wed, 20 Feb 2013 17:15:06 +0100 | blanchet | tweaked hack some more | changeset | files |
Wed, 20 Feb 2013 17:12:21 +0100 | blanchet | more simplifying constructors | changeset | files |
Wed, 20 Feb 2013 17:05:24 +0100 | blanchet | remove needless steps from refutation graph -- these confuse the proof redirection algorithm (and are needless) | changeset | files |
Wed, 20 Feb 2013 16:21:04 +0100 | blanchet | more precise error | changeset | files |