| drwxr-xr-x | doc-src | files | ||
| drwxr-xr-x | src | files | ||
| -rw-r--r-- | 1994-08-01 17:34 +0200 | 2067 | CHANGES-92f.txt | file | revisions | annotate |
| -rw-r--r-- | 1994-08-01 17:34 +0200 | 1113 | COPYRIGHT | file | revisions | annotate |
| -rw-r--r-- | 1994-08-01 17:34 +0200 | 1249 | EMAILDIST-README | file | revisions | annotate |
| -rw-r--r-- | 1994-08-01 17:34 +0200 | 5862 | README | file | revisions | annotate |
| -rwxr-xr-x | 1994-08-01 17:34 +0200 | 65 | agrep | file | revisions | annotate |
| -rwxr-xr-x | 1994-08-01 17:34 +0200 | 372 | change_simp | file | revisions | annotate |
| -rwxr-xr-x | 1994-08-01 17:34 +0200 | 2143 | conv-theory-files.pl | file | revisions | annotate |
| -rw-r--r-- | 1994-08-01 17:34 +0200 | 38884 | edits.txt | file | revisions | annotate |
| -rwxr-xr-x | 1994-08-01 17:34 +0200 | 1029 | expandshort | file | revisions | annotate |
| -rwxr-xr-x | 1994-08-01 17:34 +0200 | 807 | get-rulenames | file | revisions | annotate |
| -rwxr-xr-x | 1994-08-01 17:34 +0200 | 4321 | make-all | file | revisions | annotate |
| -rwxr-xr-x | 1994-08-01 17:34 +0200 | 250 | make-all-nj | file | revisions | annotate |
| -rwxr-xr-x | 1994-08-01 17:34 +0200 | 310 | make-all-poly | file | revisions | annotate |
| -rwxr-xr-x | 1994-08-01 17:34 +0200 | 647 | make-dist | file | revisions | annotate |
| -rwxr-xr-x | 1994-08-01 17:34 +0200 | 1543 | make-rulenames | file | revisions | annotate |
| -rw-r--r-- | 1994-08-01 17:34 +0200 | 2966 | prove_goal.el | file | revisions | annotate |
| -rwxr-xr-x | 1994-08-01 17:34 +0200 | 166 | rm-logfiles | file | revisions | annotate |
| -rwxr-xr-x | 1994-08-01 17:34 +0200 | 152 | teeinput | file | revisions | annotate |
| -rwxr-xr-x | 1994-08-01 17:34 +0200 | 290 | xlisten | file | revisions | annotate |