rwxr-xr-x 4273/0      0 Jun 17 08:00 1994 misc/
rw-r--r-- 4273/0   1634 Aug 19 01:43 1993 misc/bsp2.lisp
rw-r--r-- 4273/0  26506 Aug 19 01:39 1993 misc/examples.pl
rw-r--r-- 4273/0   8015 Aug 19 01:38 1993 misc/testMotel.pl