| Tue, 17 Apr 2012 23:22:40 +0100 | sultana | updated TPTP's ROOT.ML to include TPTP_Interpret; | file | diff | annotate |
| Fri, 09 Mar 2012 15:38:55 +0000 | sultana | added tptp parser; | file | diff | annotate |
| 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 |