/src/Tools/
drwxr-xr-x [up]
drwxr-xr-x 8bit
-rw-r--r-- 1997-03-07 16:08 +0100 806 Isabelle.gif
-rw-r--r-- 1997-03-07 16:08 +0100 124 Makefile
-rw-r--r-- 1997-03-07 16:08 +0100 1895 README
-rwxr-xr-x 1997-03-07 16:08 +0100 83 agrep
-rw-r--r-- 1997-03-07 16:08 +0100 59 blue_arrow.gif
-rwxr-xr-x 1997-03-07 16:08 +0100 491 change_simp
-rwxr-xr-x 1997-03-07 16:08 +0100 2143 conv-theory-files.pl
-rwxr-xr-x 1997-03-07 16:08 +0100 1316 expandshort
-rwxr-xr-x 1997-03-07 16:08 +0100 125 find-orphans
-rwxr-xr-x 1997-03-07 16:08 +0100 836 install_html.sh
-rwxr-xr-x 1997-03-07 16:08 +0100 4640 make-all
-rwxr-xr-x 1997-03-07 16:08 +0100 213 make-all-nj
-rwxr-xr-x 1997-03-07 16:08 +0100 292 make-all-poly
-rw-r--r-- 1997-03-07 16:08 +0100 4585 qed.cc
-rw-r--r-- 1997-03-07 16:08 +0100 3361 qed.doc
-rw-r--r-- 1997-03-07 16:08 +0100 58 red_arrow.gif
-rwxr-xr-x 1997-03-07 16:08 +0100 133 rm-logfiles
-rwxr-xr-x 1997-03-07 16:08 +0100 293 rm_html.sh
-rwxr-xr-x 1997-03-07 16:08 +0100 210 runqed
-rwxr-xr-x 1997-03-07 16:08 +0100 153 teeinput
-rwxr-xr-x 1997-03-07 16:08 +0100 375 xlisten