Name Last modified Size
Parent Directory - wcltx.dvi 1995-11-30 09:00 24K wcltx.tex 1995-11-30 09:00 13K wcltx.log 1995-11-30 09:00 3.9K wcltx.aux 1995-11-30 09:00 1.6K wcltx.idx 1995-11-30 09:00 1.1K wcltx.scn 1995-11-30 09:00 676 wcltx.bbl 1995-11-30 09:00 197