| drwxr-xr-x | [up] | |||
| -rwxr-xr-x | 2015-05-23 17:19 +0200 | 3565 | tptp_graph | file | revisions | annotate |
| -rwxr-xr-x | 2015-05-23 17:19 +0200 | 883 | tptp_isabelle | file | revisions | annotate |
| -rwxr-xr-x | 2015-05-23 17:19 +0200 | 880 | tptp_isabelle_hot | file | revisions | annotate |
| -rwxr-xr-x | 2015-05-23 17:19 +0200 | 826 | tptp_nitpick | file | revisions | annotate |
| -rwxr-xr-x | 2015-05-23 17:19 +0200 | 761 | tptp_refute | file | revisions | annotate |
| -rwxr-xr-x | 2015-05-23 17:19 +0200 | 841 | tptp_sledgehammer | file | revisions | annotate |
| -rwxr-xr-x | 2015-05-23 17:19 +0200 | 860 | tptp_translate | file | revisions | annotate |