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 |