rwxr-xr-x 4273/0 0 Jul 7 01:07 1994 tools/ rw-r--r-- 4273/0 6196 Jul 7 01:07 1994 tools/README rw-r--r-- 4273/0 1544 Jul 7 01:07 1994 tools/INDEX rw-r--r-- 4273/0 10804 Jul 7 01:07 1994 tools/retract.lisp rw-r--r-- 4273/0 6423 Jul 7 01:07 1994 tools/pedagogical-snlp.lisp