rw-r--r-- 3035/130    882 Nov 20 19:33 1990 belief1.1/COPYRIGHT
rw-r--r-- 3035/130   8143 Nov  6 16:36 1990 belief1.1/ChangeLog
rw-r--r-- 3035/130    855 Nov 20 19:38 1990 belief1.1/DISTRIBUTION
rw-r--r-- 3035/130   2918 Nov 20 19:42 1990 belief1.1/FILES
rw-r--r-- 3035/130   4824 Nov 20 19:12 1990 belief1.1/INSTALLATION
rw-r--r-- 3035/130     93 Nov  6 16:36 1990 belief1.1/VERSION
rw-r--r-- 3035/130   1618 Nov  6 16:36 1990 belief1.1/TO-DO
rw-r--r-- 3035/130  71130 Nov 20 19:16 1990 belief1.1/making-rules.tex
rw-r--r-- 3035/130  50513 Nov 20 19:14 1990 belief1.1/using-it.tex
rw-r--r-- 3035/130  15738 Nov  6 16:38 1990 belief1.1/lisp/TAGS
rw-r--r-- 3035/130  15678 Nov  6 16:35 1990 belief1.1/lisp/arithmatic.lisp
rw-r--r-- 3035/130  14388 Nov  6 16:38 1990 belief1.1/lisp/belief-init.lisp
rw-r--r-- 3035/130  20562 Nov  6 16:38 1990 belief1.1/lisp/belq.lisp
rw-r--r-- 3035/130   6965 Nov 20 15:55 1990 belief1.1/lisp/bymachine.lisp
rw-r--r-- 3035/130    961 Nov  6 16:35 1990 belief1.1/lisp/compilation.lisp
rw-r--r-- 3035/130  17573 Nov  6 16:35 1990 belief1.1/lisp/computations.lisp
rw-r--r-- 3035/130  19441 Nov  6 16:35 1990 belief1.1/lisp/distbel.lisp
rw-r--r-- 3035/130  12552 Nov  6 16:35 1990 belief1.1/lisp/distprob.lisp
rw-r--r-- 3035/130   4648 Nov  6 16:36 1990 belief1.1/lisp/franzinit.lisp
rw-r--r-- 3035/130  15578 Nov  6 16:38 1990 belief1.1/lisp/graphs.lisp
rw-r--r-- 3035/130   3702 Nov  6 16:36 1990 belief1.1/lisp/lisp-init.lisp
rw-r--r-- 3035/130  11850 Nov  6 16:35 1990 belief1.1/lisp/lowread.lisp
rw-r--r-- 3035/130   5730 Nov  6 16:35 1990 belief1.1/lisp/lowdist.lisp
rw-r--r-- 3035/130  15142 Nov  6 16:35 1990 belief1.1/lisp/monte.lisp
rw-r--r-- 3035/130  16094 Nov  6 16:35 1990 belief1.1/lisp/potentials.lisp
rw-r--r-- 3035/130  24872 Nov  6 16:35 1990 belief1.1/lisp/probread.lisp
rw-r--r-- 3035/130  19037 Nov  6 16:35 1990 belief1.1/lisp/read.lisp
rw-r--r-- 3035/130  20321 Nov  6 16:35 1990 belief1.1/lisp/readnuke.lisp
rw-r--r-- 3035/130  14750 Nov  6 16:35 1990 belief1.1/lisp/search.lisp
rw-r--r-- 3035/130   9093 Nov  6 16:35 1990 belief1.1/lisp/sets.lisp
rw-r--r-- 3035/130  11151 Nov  6 16:38 1990 belief1.1/lisp/structures.lisp
rw-r--r-- 3035/130   7772 Nov  6 16:35 1990 belief1.1/lisp/utils.lisp
rw-r--r-- 3035/130   4023 Nov  6 16:33 1990 belief1.1/rules/TAGS
rw-r--r-- 3035/130   2194 Nov  6 16:35 1990 belief1.1/rules/captain.rules
rw-r--r-- 3035/130   5168 Nov  6 16:35 1990 belief1.1/rules/cross1.rules
rw-r--r-- 3035/130   2137 Nov  6 16:35 1990 belief1.1/rules/crossed-tree.rules
rw-r--r-- 3035/130  18079 Nov  6 16:35 1990 belief1.1/rules/eastnuke.rules
rw-r--r-- 3035/130    872 Nov  6 16:35 1990 belief1.1/rules/exptree.rules
rw-r--r-- 3035/130   1619 Nov  6 16:35 1990 belief1.1/rules/failure.rules
rw-r--r-- 3035/130   1828 Nov  6 16:35 1990 belief1.1/rules/failure2.rules
rw-r--r-- 3035/130   1947 Nov 20 16:10 1990 belief1.1/rules/smokepot.rules
rw-r--r-- 3035/130   1932 Nov  6 18:33 1990 belief1.1/rules/smoker.rules
rw-r--r-- 3035/130  24135 Nov  6 16:35 1990 belief1.1/src/rng.c
rw-r--r-- 3035/130   2209 Nov  6 16:36 1990 belief1.1/src/rng.h