/lib/Tools/
drwxr-xr-x [up]
-rwxr-xr-x 2006-12-30 12:38 +0100 1592 browser
-rwxr-xr-x 2006-12-30 12:38 +0100 689 codegen
-rwxr-xr-x 2006-12-30 12:38 +0100 848 convert
-rwxr-xr-x 2006-12-30 12:38 +0100 1307 dimacs2hol
-rwxr-xr-x 2006-12-30 12:38 +0100 1146 display
-rwxr-xr-x 2006-12-30 12:38 +0100 1036 doc
-rwxr-xr-x 2006-12-30 12:38 +0100 2817 document
-rwxr-xr-x 2006-12-30 12:38 +0100 822 expandshort
-rwxr-xr-x 2006-12-30 12:38 +0100 630 findlogics
-rwxr-xr-x 2006-12-30 12:38 +0100 682 fixcpure
-rwxr-xr-x 2006-12-30 12:38 +0100 849 fixgreek
-rwxr-xr-x 2006-12-30 12:38 +0100 682 fixheaders
-rwxr-xr-x 2006-12-30 12:38 +0100 691 fixsome
-rwxr-xr-x 2006-12-30 12:38 +0100 930 getenv
-rwxr-xr-x 2006-12-30 12:38 +0100 1763 install
-rwxr-xr-x 2006-12-30 12:38 +0100 3006 latex
-rwxr-xr-x 2006-12-30 12:38 +0100 1275 logo
-rwxr-xr-x 2006-12-30 12:38 +0100 414 make
-rwxr-xr-x 2006-12-30 12:38 +0100 834 makeall
-rwxr-xr-x 2006-12-30 12:38 +0100 5695 mkdir
-rwxr-xr-x 2006-12-30 12:38 +0100 727 print
-rwxr-xr-x 2006-12-30 12:38 +0100 811 unsymbolize
-rwxr-xr-x 2006-12-30 12:38 +0100 5096 usedir
-rwxr-xr-x 2006-12-30 12:38 +0100 178 version