rwxr-xr-x 6005/120 0 Mar 6 01:13 1992 belief1.2/ rwxr-xr-x 6005/120 0 Nov 6 16:36 1990 belief1.2/src/ rw-r--r-- 6005/120 745 Nov 6 16:34 1990 belief1.2/src/TAGS rw-r--r-- 6005/120 24135 Nov 6 16:35 1990 belief1.2/src/rng.c rw-r--r-- 6005/120 1320 Nov 6 16:36 1990 belief1.2/src/test_rng.c rw-r--r-- 6005/120 2209 Nov 6 16:36 1990 belief1.2/src/rng.h rw-r--r-- 6005/120 285 Mar 6 00:17 1992 belief1.2/VERSION rwxr-xr-x 6005/120 0 Mar 6 00:36 1992 belief1.2/lisp/ rw-r--r-- 6005/120 21603 Feb 26 02:25 1992 belief1.2/lisp/arithmatic.lisp rw-r--r-- 6005/120 1349 Mar 6 00:34 1992 belief1.2/lisp/compilation.lisp rw-r--r-- 6005/120 24503 Feb 24 02:57 1992 belief1.2/lisp/computations.lisp rw-r--r-- 6005/120 26487 Mar 2 20:17 1992 belief1.2/lisp/distbel.lisp rw-r--r-- 6005/120 18228 Mar 2 20:18 1992 belief1.2/lisp/distprob.lisp rw-r--r-- 6005/120 7961 Feb 24 21:33 1992 belief1.2/lisp/lowdist.lisp rw-r--r-- 6005/120 17942 Feb 26 02:05 1992 belief1.2/lisp/lowread.lisp rw-r--r-- 6005/120 22671 Mar 5 18:48 1992 belief1.2/lisp/monte.lisp rw-r--r-- 6005/120 21600 Mar 2 02:13 1992 belief1.2/lisp/potentials.lisp rw-r--r-- 6005/120 35974 Feb 27 23:37 1992 belief1.2/lisp/probread.lisp rw-r--r-- 6005/120 29027 Mar 2 14:10 1992 belief1.2/lisp/read.lisp rw-r--r-- 6005/120 25506 Mar 2 20:20 1992 belief1.2/lisp/readnuke.lisp rw-r--r-- 6005/120 15000 Feb 26 02:28 1992 belief1.2/lisp/search.lisp rw-r--r-- 6005/120 11953 Feb 27 22:04 1992 belief1.2/lisp/sets.lisp rw-r--r-- 6005/120 8156 Mar 2 14:08 1992 belief1.2/lisp/franzinit.lisp rw-r--r-- 6005/120 7585 Mar 2 14:09 1992 belief1.2/lisp/lisp-init.lisp rw-r--r-- 6005/120 17129 Feb 24 17:26 1992 belief1.2/lisp/TAGS rw-r--r-- 6005/120 21064 Mar 2 14:08 1992 belief1.2/lisp/graphs.lisp rw-r--r-- 6005/120 11068 Mar 3 19:52 1992 belief1.2/lisp/utils.lisp rw-r--r-- 6005/120 13417 Mar 5 21:08 1992 belief1.2/lisp/structures.lisp rw-r--r-- 6005/120 17687 Feb 24 00:35 1992 belief1.2/lisp/belief-init.lisp rw-r--r-- 6005/120 6505 Feb 24 16:51 1992 belief1.2/lisp/bymachine.lisp rw-r--r-- 6005/120 18739 Mar 3 19:53 1992 belief1.2/lisp/belief-package.lisp rw-r--r-- 6005/120 415 Feb 21 17:25 1992 belief1.2/lisp/byVAX.lisp rw-r--r-- 6005/120 1471 Mar 2 14:10 1992 belief1.2/lisp/manscript.lisp rw-r--r-- 6005/120 1275 Feb 21 17:26 1992 belief1.2/lisp/byLucid.lisp rw-r--r-- 6005/120 1766 Feb 27 22:13 1992 belief1.2/lisp/byAllegro.lisp rw-r--r-- 6005/120 961 Jul 28 20:23 1991 belief1.2/lisp/compilation.lisp~ rw-r--r-- 6005/120 1455 Feb 21 17:25 1992 belief1.2/lisp/byKcl.lisp rw-r--r-- 6005/120 1165 Feb 24 16:53 1992 belief1.2/lisp/byCMU.lisp rw-r--r-- 6005/120 26340 Mar 3 19:52 1992 belief1.2/lisp/belq.lisp rwxr-xr-x 6005/120 0 Mar 6 00:40 1992 belief1.2/rules/ rw-r--r-- 6005/120 4023 Nov 6 16:33 1990 belief1.2/rules/TAGS rw-r--r-- 6005/120 2194 Jul 28 21:09 1991 belief1.2/rules/captain.rules rw-r--r-- 6005/120 315 Jul 28 21:23 1991 belief1.2/rules/counter.rules rw-r--r-- 6005/120 5168 Nov 6 16:35 1990 belief1.2/rules/cross1.rules rw-r--r-- 6005/120 2137 Mar 2 01:31 1992 belief1.2/rules/crossed-tree.rules rw-r--r-- 6005/120 1341 Nov 6 16:35 1990 belief1.2/rules/disease4.rules rw-r--r-- 6005/120 18079 Nov 6 16:35 1990 belief1.2/rules/eastnuke.rules rw-r--r-- 6005/120 872 Nov 6 16:35 1990 belief1.2/rules/exptree.rules rw-r--r-- 6005/120 1619 Jul 28 21:24 1991 belief1.2/rules/failure.rules rw-r--r-- 6005/120 1828 Jul 28 21:24 1991 belief1.2/rules/failure2.rules rw-r--r-- 6005/120 2230 Jul 28 21:24 1991 belief1.2/rules/five.rules rw-r--r-- 6005/120 1410 Jul 28 21:24 1991 belief1.2/rules/four.rules rw-r--r-- 6005/120 1894 Jul 28 21:24 1991 belief1.2/rules/oldcaptain.rules rw-r--r-- 6005/120 1379 Jul 28 21:24 1991 belief1.2/rules/penguin.rules rw-r--r-- 6005/120 727 Jul 28 21:25 1991 belief1.2/rules/rose.rules rw-r--r-- 6005/120 1932 Jul 28 21:25 1991 belief1.2/rules/smoker.rules rw-r--r-- 6005/120 1949 Jul 28 21:25 1991 belief1.2/rules/smokepot.rules rw-r--r-- 6005/120 6836 Nov 6 16:36 1990 belief1.2/rules/diagnose.rules rw-r--r-- 6005/120 6130 Feb 21 17:44 1992 belief1.2/rules/martz.rules rw-r--r-- 6005/120 316 Mar 6 00:40 1992 belief1.2/rules/#counter.rules# rwxrwxrwx 6005/120 0 Nov 26 20:29 1991 belief1.2/belief-init.lisp symbolic link to lisp/belief-init.lisp rwxrwxrwx 6005/120 0 Nov 26 20:29 1991 belief1.2/franzinit.lisp symbolic link to lisp/franzinit.lisp rw-r--r-- 6005/120 888 Mar 6 00:22 1992 belief1.2/COPYRIGHT rw-r--r-- 6005/120 988 Mar 6 00:19 1992 belief1.2/DISTRIBUTION rw-r--r-- 6005/120 3917 Mar 6 00:42 1992 belief1.2/FILES rw-r--r-- 6005/120 5829 Mar 6 01:10 1992 belief1.2/INSTALLATION rw-r--r-- 6005/120 1881 Mar 6 00:46 1992 belief1.2/TO-DO rw-r--r-- 6005/120 8588 Feb 26 21:37 1992 belief1.2/ChangeLog rwxrwxrwx 6005/120 0 Mar 6 01:13 1992 belief1.2/lisp-init.lisp symbolic link to lisp/lisp-init.lisp rw-r--r-- 6005/120 1416 Mar 6 00:52 1992 belief1.2/README rw-r--r-- 6005/120 1245 Nov 20 19:42 1990 belief1.2/files rwxr-xr-x 6005/120 0 Mar 6 00:42 1992 belief1.2/borrowed/ rw-r--r-- 6005/120 11220 Jul 26 18:05 1991 belief1.2/borrowed/defpackage.lisp rw-r--r-- 6005/120 4187 Jul 26 18:05 1991 belief1.2/borrowed/COPYING rw-r--r-- 6005/120 3308 Jul 26 18:05 1991 belief1.2/borrowed/README rw-r--r-- 6005/120 4282 Jul 26 18:05 1991 belief1.2/borrowed/UPDATES rwxr-xr-x 6005/120 0 Mar 6 01:08 1992 belief1.2/doc/ rw-r--r-- 6005/120 23241 Mar 6 01:07 1992 belief1.2/doc/using-it.tex.Z rw-r--r-- 6005/120 7407 Mar 6 01:07 1992 belief1.2/doc/overview.tex.Z rw-r--r-- 6005/120 57003 Mar 6 01:07 1992 belief1.2/doc/belief-ref-manual.tex.Z rw-r--r-- 6005/120 2801 Mar 3 00:45 1992 belief1.2/doc/lispdef.tex.Z rw-r--r-- 6005/120 30253 Mar 6 01:07 1992 belief1.2/doc/making-rules.tex.Z