rwxr-xr-x 111/112      0 Jun 26 12:16 1991 new-knowbel//
rw-r--r-- 111/112   6653 Jun 26 11:19 1991 new-knowbel//pretools.fasl
rw-r--r-- 111/112 116099 Jun 26 11:22 1991 new-knowbel//tools.fasl
rw-r--r-- 111/112  13247 Jun 26 11:22 1991 new-knowbel//ndprog.fasl
rw-r--r-- 111/112 153430 Jun 26 11:26 1991 new-knowbel//prove-structs.fasl
rw-r--r-- 111/112  99795 Jun 26 11:26 1991 new-knowbel//time.fasl
rw-r--r-- 111/112  13658 Jun 26 11:00 1991 new-knowbel//dump.lisp
rw-r--r-- 111/112  19466 Jun 26 11:00 1991 new-knowbel//flight.lisp
rw-r--r-- 111/112  16563 Jun 26 11:00 1991 new-knowbel//forward.lisp
rw-r--r-- 111/112   1410 Jun 26 11:00 1991 new-knowbel//init-cw.lisp
rw-r--r-- 111/112  49225 Jun 26 11:15 1991 new-knowbel//kb.lisp
rw-r--r-- 111/112  43909 Jun 26 11:00 1991 new-knowbel//kbresolve.lisp
rw-r--r-- 111/112   1416 Jun 26 11:24 1991 new-knowbel//knowbel.lisp
rw-r--r-- 111/112    677 Jun 26 11:06 1991 new-knowbel//knowbelw.lisp
rw-r--r-- 111/112    309 Jun 26 11:00 1991 new-knowbel//load-knowbel.lisp
rw-r--r-- 111/112   5178 Jun 26 11:00 1991 new-knowbel//ndprog.lisp
rw-r--r-- 111/112  21354 Jun 26 11:00 1991 new-knowbel//new-stuff.lisp
rw-r--r-- 111/112 319937 Jun 26 11:29 1991 new-knowbel//prove.fasl
rw-r--r-- 111/112   3319 Jun 26 11:12 1991 new-knowbel//pretools.lisp
rw-r--r-- 111/112  13431 Jun 26 11:00 1991 new-knowbel//prove-structs.lisp
rw-r--r-- 111/112 103529 Jun 26 11:00 1991 new-knowbel//prove.lisp
rw-r--r-- 111/112   1123 Jun 26 11:00 1991 new-knowbel//scr.lisp
rw-r--r-- 111/112   1838 Jun 26 11:00 1991 new-knowbel//simple.lisp
rw-r--r-- 111/112   2163 Jun 26 11:00 1991 new-knowbel//telos.lisp
rw-r--r-- 111/112  31428 Jun 26 11:00 1991 new-knowbel//time.lisp
rw-r--r-- 111/112  17523 Jun 26 11:00 1991 new-knowbel//tmp.lisp
rw-r--r-- 111/112  26067 Jun 26 11:54 1991 new-knowbel//tools.lisp
rw-r--r-- 111/112  46622 Jun 26 11:54 1991 new-knowbel//wi.lisp
rw-r--r-- 111/112 227524 Jun 26 11:34 1991 new-knowbel//kb.fasl
rw-r--r-- 111/112 122304 Jun 26 11:44 1991 new-knowbel//kbresolve.fasl
rw-r--r-- 111/112  51732 Jun 26 11:45 1991 new-knowbel//forward.fasl
rw-r--r-- 111/112  43863 Jun 26 11:45 1991 new-knowbel//tmp.fasl
rw-r--r-- 111/112  51961 Jun 26 11:46 1991 new-knowbel//new-stuff.fasl
rw-r--r-- 111/112   4323 Jun 26 11:46 1991 new-knowbel//telos.fasl
rw-r--r-- 111/112 154091 Jun 26 11:57 1991 new-knowbel//wi.fasl
rw-r--r-- 111/112    128 Jun 26 12:01 1991 new-knowbel//README~
rw-r--r-- 111/112   3966 Jun 26 12:16 1991 new-knowbel//README
rwxr-xr-x 111/112      0 Jun 26 12:02 1991 new-knowbel//Manual/
rw-r--r-- 111/112   6144 Jun 26 12:01 1991 new-knowbel//Manual/manual.book
rw-r--r-- 111/112 117760 Jun 26 12:01 1991 new-knowbel//Manual/manual.doc
rw-r--r-- 111/112 169178 Jun 26 12:01 1991 new-knowbel//Manual/manual.ps
rw-r--r-- 111/112  20480 Jun 26 12:01 1991 new-knowbel//Manual/manualIX.doc
rw-r--r-- 111/112  18432 Jun 26 12:01 1991 new-knowbel//Manual/manualTOC.doc
rw-r--r-- 111/112  18432 Jun 26 12:01 1991 new-knowbel//Manual/title.doc
rw-r--r-- 111/112 154559 Jun 26 12:01 1991 new-knowbel//Manual/alarm.xwd