Directory listing:
anji_2_01-choe.10Oct28.tar.gz
deriv-skel.lsp
dfs.lsp
dupeclause.lsp
dupeclause.lsp~
eight-interface.lsp
eight-util.lsp
eight-util.txt
fol-dupe-check.lsp
gen-next.lsp
index.html
lisp.txt
network.py
runanji.zip
sunify.lsp
theorems.lsp
thm
train.py