COPYRIGHT  -- Copyright for BELIEF package, MUST be copied
ChangeLog -- Change log for program
DISTRIBUTION -- Distribution rights
FILES -- This list of files
INSTALLATION -- Installation Instructions
VERSION -- Version number of these files
TO-DO -- list of finished and pending changes
borrowed/defpackage.lisp --- public domain defpackage for older Lisps
doc/overview.tex -- description of the BELIEF project.
doc/making-rules.tex -- instructions for making rule bases
doc/using-it.tex -- instructions for the fusion and propagation shell
doc/lispdef.tex --- header files for manual macros
doc/belief-ref-manual.tex.Z --- reference manual (compressed)
lisp/TAGS -- GNU Emacs tags file for lisp programs
lisp/arithmatic.lisp -- Basic belief function arithmetic
lisp/belief-init.lisp -- Stuff to do with inheritance and mode rules
lisp/belief-package.lisp -- defpackages for BELIEF
lisp/belq.lisp -- Experimental package for doing arithmetic on
   superpotentials 
lisp/bymachine.lisp -- machine dependent code
lisp/byAllegro.lisp -- Allegro CL foriegn function code
lisp/byCMU.lisp --- CMU Lisp foreign function code
lisp/byKcl.lisp --- Kcl foreign function code
lisp/byVAX.lisp --- VAX LISP foreign function code (not written)
lisp/compilation.lisp -- script to compile all files
lisp/computations.lisp -- shell for the fusion and propagation algorithm 
lisp/cost.lisp -- Experimental cost decision package (not written)
lisp/distbel.lisp -- parameter distributions (belief function version)
lisp/distprob.lisp -- parameter distributions (probability version)
lisp/franzinit.lisp -- Allegro (franz) lisp initilaization (replaces
                      lisp-init.lisp) for Allegro users
lisp/graphs.lisp -- graph manipulation functions 
lisp/lisp-init.lisp -- automatic initialization program
lisp/lowread.lisp -- primitives for reading data bases common to belief and
   prob modes of operation
lisp/lowdist.lisp -- distribution primatives for both modes
lisp/manscript.lisp -- automatic manual definition (requres
               definitions system from AZ)
lisp/monte.lisp -- monte carlo shell
lisp/potentials.lisp -- basic arithmetic for probabilities using potentials 
lisp/probread.lisp -- read macros for potentials
lisp/read.lisp -- read macros for belief functions
lisp/readnuke.lisp -- read macros for monte carlo failure models
lisp/search.lisp -- Experimental heuristics for finding optimal deletion
   orders 
lisp/sets.lisp -- Code for dealing with focal elements as ps-sets
lisp/structures.lisp -- basic structure definitions
lisp/utils.lisp -- utilities that may or may not be useful in other
   programs.  
rules/TAGS -- GNU Emacs tags file for rule bases
rules/captain.rules -- Data base from Almond[1988]
rules/cross1.rules -- Crossed tree from Almond[1989] with exact
  computation.
rules/crossed-tree.rules -- Crossed tree from Almond[1989]
rules/eastnuke.rules -- Risk analysis example from Spencer, Diegert
  and Easterling[1985] as analyzed in Almond[1989]
rules/exptree.rules -- This is a small fault tree from Pearl[1988] for
  experimentation with alternative projection and combination operators.
rules/failure.rules -- Machine failure rules from an early draft of Dempster
    and Kong [1988]
rules/failure2.rules -- Machine failure rules from Dempster and Kong [1988]
rules/five.rules -- Dummy (no values) five by five grid for Tree of
      Cliques strategy testing.
rules/four.rules -- Dummy (no values) four by four grid for Tree of
      Cliques strategy testing.
rules/smokepot.rules -- Laurizten and Spiegelhalter [1988] example using
    potentials 
rules/smoker.rules -- Laurizten and Spiegelhalter [1988] example using
    belief functions
rules/martz.rules -- Redundant system with system level information
      from a paper by Martz and Waller in Technometrics.
src/rng.c -- random number generator code
src/rng.h -- hash-include for same (gives external calling specs)





