rwxr-xr-x 4273/0      0 Jan 13 20:38 1994 d7/
rw-r--r-- 4273/0   2657 Aug 18 20:09 1993 d7/d7.tex
rw-r--r-- 4273/0   1603 Aug 18 20:09 1993 d7/d700.tex
rw-r--r-- 4273/0 111074 Aug 18 20:09 1993 d7/d710.tex
rw-r--r-- 4273/0 148506 Aug 18 20:09 1993 d7/d711.tex
rw-r--r-- 4273/0  67048 Aug 18 20:09 1993 d7/d712.tex
rw-r--r-- 4273/0  64272 Aug 18 20:09 1993 d7/d713.tex
rw-r--r-- 4273/0  30622 Aug 18 20:09 1993 d7/d714.tex
rw-r--r-- 4273/0  48718 Aug 18 20:09 1993 d7/d715.tex
rw-r--r-- 4273/0 238828 Aug 18 20:10 1993 d7/d716.tex
rw-r--r-- 4273/0  82443 Aug 18 20:10 1993 d7/d718.tex
rw-r--r-- 4273/0  19862 Aug 18 20:10 1993 d7/d776.ps
rw-r--r-- 4273/0   6838 Aug 18 20:10 1993 d7/d776.tex
rw-r--r-- 4273/0  42377 Aug 18 20:13 1993 d7/iso.sty
rw-r--r-- 4273/0  18475 Aug 18 20:13 1993 d7/iso9.sty
rw-rw-rw- 4273/0 2026428 Jan 13 20:01 1994 d7/d7.ps