| drwxr-xr-x | [up] | |||
| drwxr-xr-x | 8bit | files | ||
| -rw-r--r-- | 1996-07-22 16:24 +0200 | 806 | Isabelle.gif | file | revisions | annotate |
| -rw-r--r-- | 1996-07-22 16:24 +0200 | 124 | Makefile | file | revisions | annotate |
| -rw-r--r-- | 1996-07-22 16:24 +0200 | 1895 | README | file | revisions | annotate |
| -rwxr-xr-x | 1996-07-22 16:24 +0200 | 39 | agrep | file | revisions | annotate |
| -rw-r--r-- | 1996-07-22 16:24 +0200 | 59 | blue_arrow.gif | file | revisions | annotate |
| -rwxr-xr-x | 1996-07-22 16:24 +0200 | 491 | change_simp | file | revisions | annotate |
| -rwxr-xr-x | 1996-07-22 16:24 +0200 | 2143 | conv-theory-files.pl | file | revisions | annotate |
| -rwxr-xr-x | 1996-07-22 16:24 +0200 | 1126 | expandshort | file | revisions | annotate |
| -rwxr-xr-x | 1996-07-22 16:24 +0200 | 125 | find-orphans | file | revisions | annotate |
| -rwxr-xr-x | 1996-07-22 16:24 +0200 | 842 | install_html.sh | file | revisions | annotate |
| -rwxr-xr-x | 1996-07-22 16:24 +0200 | 4707 | make-all | file | revisions | annotate |
| -rwxr-xr-x | 1996-07-22 16:24 +0200 | 213 | make-all-nj | file | revisions | annotate |
| -rwxr-xr-x | 1996-07-22 16:24 +0200 | 292 | make-all-poly | file | revisions | annotate |
| -rw-r--r-- | 1996-07-22 16:24 +0200 | 4585 | qed.cc | file | revisions | annotate |
| -rw-r--r-- | 1996-07-22 16:24 +0200 | 3361 | qed.doc | file | revisions | annotate |
| -rw-r--r-- | 1996-07-22 16:24 +0200 | 58 | red_arrow.gif | file | revisions | annotate |
| -rwxr-xr-x | 1996-07-22 16:24 +0200 | 151 | rm-logfiles | file | revisions | annotate |
| -rwxr-xr-x | 1996-07-22 16:24 +0200 | 293 | rm_html.sh | file | revisions | annotate |
| -rwxr-xr-x | 1996-07-22 16:24 +0200 | 210 | runqed | file | revisions | annotate |
| -rwxr-xr-x | 1996-07-22 16:24 +0200 | 152 | teeinput | file | revisions | annotate |
| -rwxr-xr-x | 1996-07-22 16:24 +0200 | 290 | xlisten | file | revisions | annotate |
