| drwxr-xr-x | [up] | |||
| -rwxr-xr-x | 2016-03-10 12:11 +0100 | 3562 | tptp_graph | file | revisions | annotate |
| -rwxr-xr-x | 2016-03-10 12:11 +0100 | 950 | tptp_isabelle | file | revisions | annotate |
| -rwxr-xr-x | 2016-03-10 12:11 +0100 | 947 | tptp_isabelle_hot | file | revisions | annotate |
| -rwxr-xr-x | 2016-03-10 12:11 +0100 | 893 | tptp_nitpick | file | revisions | annotate |
| -rwxr-xr-x | 2016-03-10 12:11 +0100 | 828 | tptp_refute | file | revisions | annotate |
| -rwxr-xr-x | 2016-03-10 12:11 +0100 | 908 | tptp_sledgehammer | file | revisions | annotate |
| -rwxr-xr-x | 2016-03-10 12:11 +0100 | 927 | tptp_translate | file | revisions | annotate |