rwxr-xr-x 4273/0      0 Dec 29 20:14 1993 papers/
rw-r--r-- 4273/0 132860 Aug  6 18:57 1993 papers/mathrev.tex
rw-r--r-- 4273/0  13598 Aug  6 18:57 1993 papers/lmath.tex
rw-r--r-- 4273/0 320162 Aug  6 18:57 1993 papers/mma.review.ps