Tue, 27 Jul 2010 17:49:16 +0200 | blanchet | rename | changeset | files |
Tue, 27 Jul 2010 17:43:11 +0200 | blanchet | complete renaming of "Sledgehammer_TPTP_Format" to "ATP_Problem" | changeset | files |
Tue, 27 Jul 2010 17:32:55 +0200 | blanchet | renamed file | changeset | files |