Name Last modified Size Description Parent Directory - 00index.txt 22-Jul-1994 04:05 104 term116.tar.gz 22-Jul-1994 04:05 126K GZIP compressed document term117d.tar.gz 22-Jul-1994 04:05 128K GZIP compressed document