rwxr-xr-x1918/0      0 Aug 31 22:04 1994 summary/
rw-r--r--1918/0  66345 Aug 31 22:03 1994 summary/isoprolog94.tex
rw-r--r--1918/0 324812 Aug 31 22:03 1994 summary/isoprolog94.ps