| drwxr-xr-x | [up] | |||
| -rwxr-xr-x | 2012-01-23 17:40 +0100 | 552 | tptp_isabelle | file | revisions | annotate |
| -rwxr-xr-x | 2012-01-23 17:40 +0100 | 540 | tptp_nitpick | file | revisions | annotate |
| -rwxr-xr-x | 2012-01-23 17:40 +0100 | 526 | tptp_refute | file | revisions | annotate |
| -rwxr-xr-x | 2012-01-23 17:40 +0100 | 562 | tptp_sledgehammer | file | revisions | annotate |
| -rwxr-xr-x | 2012-01-23 17:40 +0100 | 636 | tptp_translate | file | revisions | annotate |