rwxr-xr-x 4273/0      0 Aug 17 19:29 1993 tiny-clos/
rw-r--r-- 4273/0   7553 Aug 17 19:27 1993 tiny-clos/support.scm
rw-r--r-- 4273/0   5232 Jul 23 13:58 1993 tiny-clos/tiny-clos.doc
rw-r--r-- 4273/0  26370 Aug 17 19:27 1993 tiny-clos/tiny-clos.scm
rw-r--r-- 4273/0   9618 Aug 17 19:27 1993 tiny-clos/tiny-examples.scm
rw-r--r-- 4273/0  15311 Aug 17 19:27 1993 tiny-clos/tiny-rpp.text
rw-r--r-- 4273/0   5772 Aug 17 19:27 1993 tiny-clos/tiny-announce.text