rw-rw-r-- 2005/2000   1883 Jul 13 03:36 1993 README
rw-rw-rw- 2005/2000   2849 Feb 15 13:44 1993 INSTALLATION
rw-rw-rw- 2005/2000    370 Oct 23 05:40 1992 int.c
rw-rw-rw- 2005/2000    620 Oct 23 05:42 1992 int.o
rw-rw-rw- 2005/2000    115 Oct 23 05:40 1992 int.pl
rw-rw-rw- 2005/2000  17782 Apr 30 07:38 1993 motel.lisp
rw-rw-r-- 2005/2000 439935 Aug 10 13:58 1993 motel.pl
rw-rw-r-- 2005/2000 137960 Jul 13 03:43 1993 motel.dvi
rw-rw-r-- 2005/2000  45288 Aug  9 03:28 1993 ai93.dvi