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