Wed, 20 Nov 2013 18:32:25 +0100 | blanchet | fixed LaTeX missing } | changeset | files |
Wed, 20 Nov 2013 18:09:23 +0100 | blanchet | compile | changeset | files |
Wed, 20 Nov 2013 18:08:02 +0100 | blanchet | support Negated_Conjecture as a TPTP role as well (e.g. for SMT proofs) | changeset | files |