rwxr-xr-x 4273/0 0 Mar 25 16:54 1994 y/ r--r--r-- 4273/0 41521 Apr 10 18:35 1992 y/y.tex r--r--r-- 4273/0 831 Nov 26 19:08 1991 y/macros.tex r--r--r-- 4273/0 3152 Apr 10 17:12 1992 y/y.bbl rw-r--r-- 4273/0 52060 Apr 10 17:25 1992 y/y.dvi rw-r--r-- 4273/0 149878 Mar 25 16:26 1994 y/y.ps