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