This directory contains the Coq sources for proofs about procedures
generated by the CPSA4 role compiler.

To build the proofs and an HTML document, type:

    $ make

and then view html/toc.html.

To build the PDF document, type:

    $ ./mkdoc

and then view proc.pdf.

DISTRIBUTION

To make a distribution from within the Git repository, do:

   $ git clean -xdf
   $ make
   $ mv html ..
   $ git clean -xdf
   $ mv ../html .
   $ ./mkdist