../ diskt7 06-Feb-1997 07:00 751 te-bin1.tgz 26-Sep-1996 06:00 698K tf-misc.tgz 26-Sep-1996 06:00 393K tm-xypic.tgz 26-Sep-1996 06:00 184K