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