drwxr-xr-x | [up] | |||
-rw-r--r-- | 1994-12-21 12:53 +0100 | 139 | Makefile | file | revisions | annotate |
-rw-r--r-- | 1994-12-21 12:53 +0100 | 1895 | README | file | revisions | annotate |
-rwxr-xr-x | 1994-12-21 12:53 +0100 | 64 | agrep | file | revisions | annotate |
-rwxr-xr-x | 1994-12-21 12:53 +0100 | 372 | change_simp | file | revisions | annotate |
-rwxr-xr-x | 1994-12-21 12:53 +0100 | 2143 | conv-theory-files.pl | file | revisions | annotate |
-rwxr-xr-x | 1994-12-21 12:53 +0100 | 1029 | expandshort | file | revisions | annotate |
-rwxr-xr-x | 1994-12-21 12:53 +0100 | 4321 | make-all | file | revisions | annotate |
-rwxr-xr-x | 1994-12-21 12:53 +0100 | 213 | make-all-nj | file | revisions | annotate |
-rwxr-xr-x | 1994-12-21 12:53 +0100 | 292 | make-all-poly | file | revisions | annotate |
-rw-r--r-- | 1994-12-21 12:53 +0100 | 4036 | qed.cc | file | revisions | annotate |
-rw-r--r-- | 1994-12-21 12:53 +0100 | 3361 | qed.doc | file | revisions | annotate |
-rwxr-xr-x | 1994-12-21 12:53 +0100 | 157 | rm-logfiles | file | revisions | annotate |
-rwxr-xr-x | 1994-12-21 12:53 +0100 | 66 | runqed | file | revisions | annotate |
-rwxr-xr-x | 1994-12-21 12:53 +0100 | 152 | teeinput | file | revisions | annotate |
-rwxr-xr-x | 1994-12-21 12:53 +0100 | 290 | xlisten | file | revisions | annotate |