/lib/Tools/
drwxr-xr-x [up]
-rwxr-xr-x 2004-12-09 18:30 +0100 1337 browser
-rwxr-xr-x 2004-12-09 18:30 +0100 848 convert
-rwxr-xr-x 2004-12-09 18:30 +0100 1307 dimacs2hol
-rwxr-xr-x 2004-12-09 18:30 +0100 1155 display
-rwxr-xr-x 2004-12-09 18:30 +0100 849 doc
-rwxr-xr-x 2004-12-09 18:30 +0100 2211 document
-rwxr-xr-x 2004-12-09 18:30 +0100 822 expandshort
-rwxr-xr-x 2004-12-09 18:30 +0100 617 findlogics
-rwxr-xr-x 2004-12-09 18:30 +0100 661 fixclasimp
-rwxr-xr-x 2004-12-09 18:30 +0100 696 fixdatatype
-rwxr-xr-x 2004-12-09 18:30 +0100 723 fixdots
-rwxr-xr-x 2004-12-09 18:30 +0100 672 fixgoal
-rwxr-xr-x 2004-12-09 18:30 +0100 849 fixgreek
-rwxr-xr-x 2004-12-09 18:30 +0100 671 fixseq
-rwxr-xr-x 2004-12-09 18:30 +0100 691 fixsome
-rwxr-xr-x 2004-12-09 18:30 +0100 937 getenv
-rwxr-xr-x 2004-12-09 18:30 +0100 3280 install
-rwxr-xr-x 2004-12-09 18:30 +0100 2865 latex
-rwxr-xr-x 2004-12-09 18:30 +0100 1275 logo
-rwxr-xr-x 2004-12-09 18:30 +0100 414 make
-rwxr-xr-x 2004-12-09 18:30 +0100 822 makeall
-rwxr-xr-x 2004-12-09 18:30 +0100 6231 mkdir
-rwxr-xr-x 2004-12-09 18:30 +0100 727 print
-rwxr-xr-x 2004-12-09 18:30 +0100 811 unsymbolize
-rwxr-xr-x 2004-12-09 18:30 +0100 4551 usedir
-rwxr-xr-x 2004-12-09 18:30 +0100 178 version