| drwxr-xr-x | [up] | |||
| -rwxr-xr-x | 2013-05-21 09:02 +0200 | 3592 | tptp_graph | file | revisions | annotate |
| -rwxr-xr-x | 2013-05-21 09:02 +0200 | 876 | tptp_isabelle | file | revisions | annotate |
| -rwxr-xr-x | 2013-05-21 09:02 +0200 | 873 | tptp_isabelle_hot | file | revisions | annotate |
| -rwxr-xr-x | 2013-05-21 09:02 +0200 | 819 | tptp_nitpick | file | revisions | annotate |
| -rwxr-xr-x | 2013-05-21 09:02 +0200 | 754 | tptp_refute | file | revisions | annotate |
| -rwxr-xr-x | 2013-05-21 09:02 +0200 | 834 | tptp_sledgehammer | file | revisions | annotate |