../ diskt7 24-May-2002 16:11 753 te-bin1.tgz 24-May-2002 16:11 698K tf-misc.tgz 24-May-2002 16:11 393K tm-xypic.tgz 24-May-2002 16:11 184K