| drwxr-xr-x | [up] | |||
| -rwxr-xr-x | 2019-10-27 21:51 -0400 | 3544 | tptp_graph | file | revisions | annotate |
| -rwxr-xr-x | 2019-10-27 21:51 -0400 | 999 | tptp_isabelle | file | revisions | annotate |
| -rwxr-xr-x | 2019-10-27 21:51 -0400 | 996 | tptp_isabelle_hot | file | revisions | annotate |
| -rwxr-xr-x | 2019-10-27 21:51 -0400 | 942 | tptp_nitpick | file | revisions | annotate |
| -rwxr-xr-x | 2019-10-27 21:51 -0400 | 877 | tptp_refute | file | revisions | annotate |
| -rwxr-xr-x | 2019-10-27 21:51 -0400 | 957 | tptp_sledgehammer | file | revisions | annotate |
| -rwxr-xr-x | 2019-10-27 21:51 -0400 | 976 | tptp_translate | file | revisions | annotate |