Authors are mentionned in AUTHORS.

The library RDA is composed of the following parts : 
- prelude: tools about ssreflect and Alea
- graph: tools to reason about graphs
- example: simple examples of use of Alea
- ra: tools to reason about randomised algorithms
- rda: tools to reason about randomised distributed algorithms

To compile: cd <project_root>/RDA/; make

You need coq8.4 and ssreflect1.4.

Your arborescence must contain Alea library : 
  <project_root>/AD8.4/prelude
  <project_root>/AD8.4/graph
  <project_root>/AD8.4/ra
  <project_root>/AD8.4/rda

You must put an environment variable named $ALEA_LIB 
with the path of Alea directory leading to /src and /Continue
