rwxr-xr-x 4273/0      0 Jul 22 15:29 1993 cl-protos/
rw-r--r-- 4273/0   9724 Jul 22 01:11 1993 cl-protos/README
rwxr-xr-x 4273/0      0 Jul 22 15:31 1993 cl-protos/src/
rw-r--r-- 4273/0  50224 Jul 22 01:11 1993 cl-protos/src/classify.lisp
rw-r--r-- 4273/0  63561 Jul 22 01:11 1993 cl-protos/src/defs.lisp
rw-r--r-- 4273/0  70607 Jul 22 01:11 1993 cl-protos/src/discuss.lisp
rw-r--r-- 4273/0  18276 Jul 22 01:12 1993 cl-protos/src/example.lisp
rw-r--r-- 4273/0  38354 Jul 22 01:12 1993 cl-protos/src/explanation.lisp
rw-r--r-- 4273/0  31310 Jul 22 01:12 1993 cl-protos/src/first_base.lisp
rw-r--r-- 4273/0  31263 Jul 22 01:12 1993 cl-protos/src/first_base_inv.lisp
rw-r--r-- 4273/0  12638 Jul 22 01:13 1993 cl-protos/src/global.lisp
rw-r--r-- 4273/0  51999 Jul 22 01:13 1993 cl-protos/src/heuristics.lisp
rw-r--r-- 4273/0  17395 Jul 22 01:13 1993 cl-protos/src/io.lisp
rw-r--r-- 4273/0  27747 Jul 22 01:13 1993 cl-protos/src/kbio.lisp
rw-r--r-- 4273/0  71070 Jul 22 01:14 1993 cl-protos/src/kbpm.lisp
rw-r--r-- 4273/0   5734 Feb  5 13:34 1991 cl-protos/src/load-protos.lisp
rw-r--r-- 4273/0  13284 Jul 22 01:14 1993 cl-protos/src/merging.lisp
rw-r--r-- 4273/0  39105 Jul 22 01:14 1993 cl-protos/src/parse.lisp
rw-r--r-- 4273/0  31659 Jul 22 01:14 1993 cl-protos/src/print.lisp
rw-r--r-- 4273/0   1691 Jul 22 01:15 1993 cl-protos/src/protos-sys.lisp
rw-r--r-- 4273/0  27158 Jul 22 01:15 1993 cl-protos/src/protos.lisp
rw-r--r-- 4273/0  37257 Jul 22 01:15 1993 cl-protos/src/reminding.lisp
rw-r--r-- 4273/0   1726 Jul 22 01:16 1993 cl-protos/src/test.lisp
rw-r--r-- 4273/0   6547 Jul 22 01:16 1993 cl-protos/src/testCases.lisp
rw-r--r-- 4273/0  28594 Jul 22 01:16 1993 cl-protos/src/test_kb.lisp
rw-r--r-- 4273/0  15385 Jul 22 01:16 1993 cl-protos/src/transform.lisp
rw-r--r-- 4273/0  21346 Jul 22 01:16 1993 cl-protos/src/verb.lisp
rw-r--r-- 4273/0   2501 Jul 22 01:16 1993 cl-protos/src/test.ls
rw-r--r-- 4273/0   2302 Jul 22 01:16 1993 cl-protos/src/user.ls
rw-r--r-- 4273/0   1204 Jul 22 01:15 1993 cl-protos/src/protos.system
rw-r--r-- 4273/0    829 Jul 22 01:15 1993 cl-protos/src/protos.translations
rw-r--r-- 4273/0    318 Feb  5 13:34 1991 cl-protos/READ_THIS
rw-r--r-- 4273/0    460 Feb  5 13:34 1991 cl-protos/KCL_INSTRUCTIONS
rw-r--r-- 4273/0      0 Jul 22 15:11 1993 cl-protos/letters/
rw------- 4273/0   2484 Feb  5 13:34 1991 cl-protos/letters/protos-letter.tex
rw-r--r-- 4273/0   8212 Feb  5 13:34 1991 cl-protos/README.old
rwxr-xr-x 4273/0      0 Jul 22 15:28 1993 cl-protos/doc/
rw-r--r-- 4273/0   2650 Jul 22 01:11 1993 cl-protos/doc/cl-protos.tex
rw-r--r-- 4273/0   2437 Jul 22 01:11 1993 cl-protos/doc/coverpage.tex
rw-r--r-- 4273/0   1217 Feb  5 13:34 1991 cl-protos/doc/fulldoc.tex
rw-r--r-- 4273/0   8596 Jul 22 01:13 1993 cl-protos/doc/intro.tex
rw-r--r-- 4273/0  14729 Jul 22 01:14 1993 cl-protos/doc/language.tex
rw-r--r-- 4273/0  13681 Jul 22 01:14 1993 cl-protos/doc/overview.tex
rw-r--r-- 4273/0  64966 Jul 22 01:15 1993 cl-protos/doc/swdoc.tex
rw-r--r-- 4273/0  65972 Feb  5 13:34 1991 cl-protos/doc/swguide.tex
rw-r--r-- 4273/0  10233 Jul 22 01:16 1993 cl-protos/doc/tips.tex
rw-r--r-- 4273/0  36220 Jul 22 01:16 1993 cl-protos/doc/userguide.tex
rw-r--r-- 4273/0   1178 Jul 22 01:12 1993 cl-protos/doc/fulldoc.bib