rwxr-xr-x 4273/0      0 Apr  5 22:21 1994 doc/
rw-r--r-- 4273/0   1374 Aug 24 23:44 1993 doc/89.1.abstract
rw-r--r-- 4273/0 115189 Aug 24 23:44 1993 doc/89.1.ps
rw-r--r-- 4273/0    797 Aug 24 23:43 1993 doc/COPYRIGHT
rw-r--r-- 4273/0    240 Apr  5 22:21 1994 doc/README