rw-r--r-- 32/133 2470 Jan 14 05:48 1993 boops.docl rw-r--r-- 32/133 11385 Jan 8 07:09 1993 boops.lisp rw-r--r-- 32/133 2166 Jan 14 05:41 1993 thermostat.lisp