drwxr-xr-x |
|
|
doc-src
|
files
|
drwxr-xr-x |
|
|
src
|
files
|
-rw-r--r-- |
1994-10-12 16:34 +0100 |
2067 |
CHANGES-92f.txt
|
file |
revisions |
annotate
|
-rw-r--r-- |
1994-10-12 16:34 +0100 |
1113 |
COPYRIGHT
|
file |
revisions |
annotate
|
-rw-r--r-- |
1994-10-12 16:34 +0100 |
1249 |
EMAILDIST-README
|
file |
revisions |
annotate
|
-rw-r--r-- |
1994-10-12 16:34 +0100 |
6249 |
README
|
file |
revisions |
annotate
|
-rwxr-xr-x |
1994-10-12 16:34 +0100 |
65 |
agrep
|
file |
revisions |
annotate
|
-rwxr-xr-x |
1994-10-12 16:34 +0100 |
372 |
change_simp
|
file |
revisions |
annotate
|
-rwxr-xr-x |
1994-10-12 16:34 +0100 |
2143 |
conv-theory-files.pl
|
file |
revisions |
annotate
|
-rw-r--r-- |
1994-10-12 16:34 +0100 |
38884 |
edits.txt
|
file |
revisions |
annotate
|
-rwxr-xr-x |
1994-10-12 16:34 +0100 |
1029 |
expandshort
|
file |
revisions |
annotate
|
-rwxr-xr-x |
1994-10-12 16:34 +0100 |
807 |
get-rulenames
|
file |
revisions |
annotate
|
-rwxr-xr-x |
1994-10-12 16:34 +0100 |
4321 |
make-all
|
file |
revisions |
annotate
|
-rwxr-xr-x |
1994-10-12 16:34 +0100 |
213 |
make-all-nj
|
file |
revisions |
annotate
|
-rwxr-xr-x |
1994-10-12 16:34 +0100 |
276 |
make-all-poly
|
file |
revisions |
annotate
|
-rwxr-xr-x |
1994-10-12 16:34 +0100 |
647 |
make-dist
|
file |
revisions |
annotate
|
-rwxr-xr-x |
1994-10-12 16:34 +0100 |
1543 |
make-rulenames
|
file |
revisions |
annotate
|
-rw-r--r-- |
1994-10-12 16:34 +0100 |
2966 |
prove_goal.el
|
file |
revisions |
annotate
|
-rwxr-xr-x |
1994-10-12 16:34 +0100 |
157 |
rm-logfiles
|
file |
revisions |
annotate
|
-rwxr-xr-x |
1994-10-12 16:34 +0100 |
152 |
teeinput
|
file |
revisions |
annotate
|
-rwxr-xr-x |
1994-10-12 16:34 +0100 |
290 |
xlisten
|
file |
revisions |
annotate
|