rwxr-xr-x 4273/0 0 Aug 6 17:48 1993 aop/ rwxr-xr-x 4273/0 0 Oct 25 15:18 1991 aop/a0/ rw-r--r-- 4273/0 692 Sep 20 15:25 1991 aop/a0/about.txt rw-r--r-- 4273/0 3427 Sep 20 15:25 1991 aop/a0/aoperror.lisp rw-r--r-- 4273/0 2423 Oct 25 15:09 1991 aop/a0/bnf.txt rw-r--r-- 4273/0 17346 Oct 25 14:44 1991 aop/a0/interpreter.lisp rw-r--r-- 4273/0 7818 Oct 25 10:48 1991 aop/a0/lisp-parser.lisp rw-r--r-- 4273/0 14942 Oct 25 14:44 1991 aop/a0/structures.lisp rw-r--r-- 4273/0 2934 Oct 22 14:43 1991 aop/a0/load.lisp rw-r--r-- 4273/0 2148 Sep 20 15:26 1991 aop/a0/load.lsp rw-r--r-- 4273/0 2626 Oct 25 11:27 1991 aop/a0/new.txt rw-r--r-- 4273/0 15187 Oct 25 15:04 1991 aop/a0/user-interface.lisp rw-r--r-- 4273/0 3365 Oct 22 14:46 1991 aop/a0/unify.lisp rw-r--r-- 4273/0 7242 Oct 22 14:47 1991 aop/a0/x-graphics.lisp rwxr-xr-x 4273/0 0 Aug 6 17:49 1993 aop/agents/ rw-r--r-- 4273/0 1190 Sep 20 15:28 1991 aop/agents/README rw-r--r-- 4273/0 536 Sep 20 15:28 1991 aop/agents/agent-junk rw-r--r-- 4273/0 360 Sep 20 15:28 1991 aop/agents/control.lisp rw-r--r-- 4273/0 269 Sep 20 15:28 1991 aop/agents/joetriv.lisp rw-r--r-- 4273/0 847 Sep 20 15:28 1991 aop/agents/new.lisp rw-r--r-- 4273/0 933 Sep 20 15:28 1991 aop/agents/newjoetriv.lisp rw-r--r-- 4273/0 938 Sep 20 15:29 1991 aop/agents/old-joetriv.lisp rw-r--r-- 4273/0 7533 Sep 20 15:29 1991 aop/agents/plane.lisp rw-r--r-- 4273/0 17191 Sep 20 15:29 1991 aop/agents/world.lisp rw-r--r-- 4273/0 651 Oct 22 15:35 1991 aop/agents/ming.lisp rw-r--r-- 4273/0 377 Oct 22 15:35 1991 aop/agents/fa.lisp rw-r--r-- 4273/0 651 Oct 22 15:36 1991 aop/agents/ca.lisp rwxr-xr-x 4273/0 0 Aug 6 17:49 1993 aop/mct/ rw-r--r-- 4273/0 10953 Sep 20 15:30 1991 aop/mct/event.cl rw-r--r-- 4273/0 720 Sep 20 15:30 1991 aop/mct/load.cl rw-r--r-- 4273/0 3427 Sep 20 15:30 1991 aop/mct/test.cl rw-r--r-- 4273/0 3455 Sep 20 15:30 1991 aop/mct/widget.cl rw-r--r-- 4273/0 5388 Sep 20 15:31 1991 aop/mct/widgets.cl rw-r--r-- 4273/0 23534 Sep 20 15:31 1991 aop/mct/window.cl rwxr-xr-x 4273/0 0 Aug 6 17:50 1993 aop/manual/ rw-r--r-- 4273/0 27420 Oct 25 15:22 1991 aop/manual/aopmanual.dvi rw-r--r-- 4273/0 22665 Oct 25 15:21 1991 aop/manual/aopmanual.tex rw-r--r-- 4273/0 202 Oct 25 13:58 1991 aop/manual/aop.bib