belief1.1/COPYRIGHT
belief1.1/ChangeLog
belief1.1/DISTRIBUTION
belief1.1/FILES 
belief1.1/INSTALLATION
belief1.1/VERSION 
belief1.1/TO-DO 
belief1.1/making-rules.tex 
belief1.1/using-it.tex 
belief1.1/lisp/TAGS 
belief1.1/lisp/arithmatic.lisp 
belief1.1/lisp/belief-init.lisp 
belief1.1/lisp/belq.lisp 
belief1.1/lisp/bymachine.lisp 
belief1.1/lisp/compilation.lisp 
belief1.1/lisp/computations.lisp 
belief1.1/lisp/cost.lisp 
belief1.1/lisp/distbel.lisp 
belief1.1/lisp/distprob.lisp 
belief1.1/lisp/franzinit.lisp 
belief1.1/lisp/graphs.lisp 
belief1.1/lisp/lisp-init.lisp 
belief1.1/lisp/lowread.lisp 
belief1.1/lisp/lowdist.lisp 
belief1.1/lisp/monte.lisp 
belief1.1/lisp/potentials.lisp 
belief1.1/lisp/probread.lisp 
belief1.1/lisp/read.lisp 
belief1.1/lisp/readnuke.lisp 
belief1.1/lisp/search.lisp 
belief1.1/lisp/sets.lisp 
belief1.1/lisp/structures.lisp 
belief1.1/lisp/utils.lisp 
belief1.1/rules/TAGS 
belief1.1/rules/captain.rules 
belief1.1/rules/cross1.rules 
belief1.1/rules/crossed-tree.rules 
belief1.1/rules/eastnuke.rules 
belief1.1/rules/exptree.rules 
belief1.1/rules/failure.rules 
belief1.1/rules/failure2.rules 
belief1.1/rules/smokepot.rules
belief1.1/rules/smoker.rules 
belief1.1/src/rng.c 
belief1.1/src/rng.h 





