%%%%%%%%%%%%%%%%%%%%%%%%%%%
% UTP ProofPower Theories %
%%%%%%%%%%%%%%%%%%%%%%%%%%%

- This is the source code of the ProofPower theories that
implement the UTP theories of relations, designs, reactive
predicates, CSP processes and the theory of Circus.

- You MUST have ProofPower already installed in your machine in
order to load these definitions.

- To load these theories:

    1. Make the files load-theories and clear-all executables,
    using the following unix commands
        chmod +x load-theories
        chmod +x clear-theories

    2. Execute the file load-theories.

    3. After ProofPower finishes loading all the theories,
    save the loaded theories by executing the following command in
    ProofPower-Z
        save();

    3. Execute the file clear-theories in order to organise the files in
    the file structure.

