rwxr-xr-x 4273/0 0 Mar 7 17:53 1994 defn_095/ rw-r--r-- 4273/0 677836 Jul 26 16:04 1993 defn_095/defn_095.dvi rw-r--r-- 4273/0 881725 Jul 26 16:05 1993 defn_095/defn_095.ps