| drwxr-xr-x | [up] | |||
| -rwxr-xr-x | 2012-12-06 20:26 +0100 | 3592 | tptp_graph | file | revisions | annotate |
| -rwxr-xr-x | 2012-12-06 20:26 +0100 | 734 | tptp_isabelle | file | revisions | annotate |
| -rwxr-xr-x | 2012-12-06 20:26 +0100 | 731 | tptp_isabelle_hot | file | revisions | annotate |
| -rwxr-xr-x | 2012-12-06 20:26 +0100 | 677 | tptp_nitpick | file | revisions | annotate |
| -rwxr-xr-x | 2012-12-06 20:26 +0100 | 612 | tptp_refute | file | revisions | annotate |
| -rwxr-xr-x | 2012-12-06 20:26 +0100 | 692 | tptp_sledgehammer | file | revisions | annotate |