/lib/Tools/
drwxr-xr-x [up]
-rwxr-xr-x 2005-03-04 15:07 +0100 1337 browser
-rwxr-xr-x 2005-03-04 15:07 +0100 857 convert
-rwxr-xr-x 2005-03-04 15:07 +0100 1307 dimacs2hol
-rwxr-xr-x 2005-03-04 15:07 +0100 1155 display
-rwxr-xr-x 2005-03-04 15:07 +0100 849 doc
-rwxr-xr-x 2005-03-04 15:07 +0100 2211 document
-rwxr-xr-x 2005-03-04 15:07 +0100 831 expandshort
-rwxr-xr-x 2005-03-04 15:07 +0100 617 findlogics
-rwxr-xr-x 2005-03-04 15:07 +0100 670 fixclasimp
-rwxr-xr-x 2005-03-04 15:07 +0100 705 fixdatatype
-rwxr-xr-x 2005-03-04 15:07 +0100 732 fixdots
-rwxr-xr-x 2005-03-04 15:07 +0100 681 fixgoal
-rwxr-xr-x 2005-03-04 15:07 +0100 858 fixgreek
-rwxr-xr-x 2005-03-04 15:07 +0100 680 fixseq
-rwxr-xr-x 2005-03-04 15:07 +0100 700 fixsome
-rwxr-xr-x 2005-03-04 15:07 +0100 937 getenv
-rwxr-xr-x 2005-03-04 15:07 +0100 3285 install
-rwxr-xr-x 2005-03-04 15:07 +0100 2865 latex
-rwxr-xr-x 2005-03-04 15:07 +0100 1284 logo
-rwxr-xr-x 2005-03-04 15:07 +0100 414 make
-rwxr-xr-x 2005-03-04 15:07 +0100 822 makeall
-rwxr-xr-x 2005-03-04 15:07 +0100 6240 mkdir
-rwxr-xr-x 2005-03-04 15:07 +0100 727 print
-rwxr-xr-x 2005-03-04 15:07 +0100 820 unsymbolize
-rwxr-xr-x 2005-03-04 15:07 +0100 4736 usedir
-rwxr-xr-x 2005-03-04 15:07 +0100 178 version