Mon, 23 Jan 2012 17:40:32 +0100 | blanchet | imported patch atp_problem_import.ML | changeset | files |
Mon, 23 Jan 2012 17:40:32 +0100 | blanchet | renamed theory exporter | changeset | files |
Mon, 23 Jan 2012 17:40:32 +0100 | blanchet | renamed two files to make room for a new file | changeset | files |