rwxr-xr-x 4273/0      0 Mar  7 18:43 1994 ISOLisp/
rw-r--r-- 1918/0  68260 Jul 26 15:55 1993 ISOLisp/concep.dvi
rw-r--r-- 1918/0 214288 Jul 26 15:55 1993 ISOLisp/iso4.dvi
rw-r--r-- 1918/0  48868 Jul 26 15:55 1993 ISOLisp/functi.dvi
rw-r--r-- 1918/0 342724 Jul 26 15:55 1993 ISOLisp/is8.4.dvi
rw-r--r-- 1918/0 356748 Jul 26 15:55 1993 ISOLisp/iso5.dvi
rw-r--r-- 4273/0    395 Jul 26 15:55 1993 ISOLisp/README
rw-r--r-- 1918/0 343568 Jul 26 15:56 1993 ISOLisp/is8.5.dvi
rw-r--r-- 1918/0 286932 Jul 26 15:55 1993 ISOLisp/iso3.dvi