| Mon, 23 Jan 2012 17:40:32 +0100 | blanchet | added problem importer | file | diff | annotate |
| Mon, 23 Jan 2012 17:40:32 +0100 | blanchet | renamed theory exporter | file | diff | annotate |
| Wed, 13 Jul 2011 22:16:19 +0200 | blanchet | cleanly separate TPTP related files from other examples | file | diff | annotate |