/lib/Tools/
drwxr-xr-x [up]
-rwxr-xr-x 2011-11-07 14:59 +0100 1944 browser
-rwxr-xr-x 2011-11-07 14:59 +0100 1255 dimacs2hol
-rwxr-xr-x 2011-11-07 14:59 +0100 1116 display
-rwxr-xr-x 2011-11-07 14:59 +0100 988 doc
-rwxr-xr-x 2011-11-07 14:59 +0100 2801 document
-rwxr-xr-x 2011-11-07 14:59 +0100 491 emacs
-rwxr-xr-x 2011-11-07 14:59 +0100 407 env
-rwxr-xr-x 2011-11-07 14:59 +0100 712 findlogics
-rwxr-xr-x 2011-11-07 14:59 +0100 1212 getenv
-rwxr-xr-x 2011-11-07 14:59 +0100 1415 install
-rwxr-xr-x 2011-11-07 14:59 +0100 519 java
-rwxr-xr-x 2011-11-07 14:59 +0100 1056 keywords
-rwxr-xr-x 2011-11-07 14:59 +0100 2771 latex
-rwxr-xr-x 2011-11-07 14:59 +0100 1227 logo
-rwxr-xr-x 2011-11-07 14:59 +0100 416 make
-rwxr-xr-x 2011-11-07 14:59 +0100 918 makeall
-rwxr-xr-x 2011-11-07 14:59 +0100 5782 mkdir
-rwxr-xr-x 2011-11-07 14:59 +0100 412 mkproject
-rwxr-xr-x 2011-11-07 14:59 +0100 729 print
-rwxr-xr-x 2011-11-07 14:59 +0100 441 scala
-rwxr-xr-x 2011-11-07 14:59 +0100 451 scalac
-rwxr-xr-x 2011-11-07 14:59 +0100 1280 tty
-rwxr-xr-x 2011-11-07 14:59 +0100 760 unsymbolize
-rwxr-xr-x 2011-11-07 14:59 +0100 6380 usedir
-rwxr-xr-x 2011-11-07 14:59 +0100 938 version
-rwxr-xr-x 2011-11-07 14:59 +0100 390 yxml