rwxr-xr-x 4273/0 0 Aug 27 15:36 1993 iterate/ rwxr-xr-x 4273/0 0 Aug 27 15:28 1993 iterate/doc/ rw-r--r-- 4273/0 75556 Jan 24 11:42 1992 iterate/doc/iter-man.tex rw-r--r-- 4273/0 19074 Jan 24 11:42 1992 iterate/doc/iterate-bare.tex rw-r--r-- 4273/0 348265 Jan 24 12:05 1992 iterate/doc/iter-man.ps rw-r--r-- 4273/0 41157 Jan 24 12:06 1992 iterate/doc/iterate-bare.ps rw-r--r-- 4273/0 7805 Jan 24 11:41 1992 iterate/doc/aimemo.sty rw-r--r-- 4273/0 202 Aug 27 15:36 1993 iterate/README rw-r--r-- 4273/0 112981 Jan 24 12:04 1992 iterate/iterate-1.0.lisp rw-r--r-- 4273/0 118545 Jan 24 12:05 1992 iterate/iterate-1.2.lisp