| drwxr-xr-x | [up] | |||
| -rwxr-xr-x | 2012-05-21 10:39 +0200 | 3592 | tptp_graph | file | revisions | annotate |
| -rwxr-xr-x | 2012-05-21 10:39 +0200 | 739 | tptp_isabelle_comp | file | revisions | annotate |
| -rwxr-xr-x | 2012-05-21 10:39 +0200 | 732 | tptp_isabelle_demo | file | revisions | annotate |
| -rwxr-xr-x | 2012-05-21 10:39 +0200 | 677 | tptp_nitpick | file | revisions | annotate |
| -rwxr-xr-x | 2012-05-21 10:39 +0200 | 612 | tptp_refute | file | revisions | annotate |
| -rwxr-xr-x | 2012-05-21 10:39 +0200 | 692 | tptp_sledgehammer | file | revisions | annotate |
| -rwxr-xr-x | 2012-05-21 10:39 +0200 | 696 | tptp_translate | file | revisions | annotate |