Mon, 23 Jan 2012 17:40:32 +0100 | blanchet | implemented "tptp_refute" tool | changeset | files |
Mon, 23 Jan 2012 17:40:32 +0100 | blanchet | added problem importer | changeset | files |
Mon, 23 Jan 2012 17:40:32 +0100 | blanchet | imported patch ATP_Problem_Import.thy | changeset | files |