rwxr-xr-x 1918/0      0 Mar  7 18:01 1994 proposal/
rw-r--r-- 1918/0  70150 Dec  3 08:01 1993 proposal/adv-genarith.ps
rw-r--r-- 1918/0 107086 Dec 13 10:05 1993 proposal/eulisp-ffi.ps
rw-r--r-- 1918/0 333074 Dec  3 07:57 1993 proposal/eulisp-proposals.ps
rw-r--r-- 1918/0  83132 Dec  3 07:58 1993 proposal/genarith.ps
rw-r--r-- 1918/0 105642 Jul 26 15:59 1993 proposal/a1-5.ps