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