rwxr-xr-x 4273/0      0 Oct 25 20:18 1993 misc/
rw-r--r-- 4273/0  36609 Sep  2 13:24 1993 misc/CLOS-Utilities.lisp
rw-r--r-- 4273/0   6717 Sep  2 13:24 1993 misc/Simple-Metering.lisp