(*-----------------------------------------------*
            |                                               |
            |                 Small examples                |
            |                                               |
            |              November 2005                    |
            |                                               |
            |         Yoshinao Isobe    (AIST, Japan)       |
            |                                               |
            *-----------------------------------------------*)

CSP-Prover is tested by the following small examples:

(1) Test_finite.thy

The refinement relation between processes with simple recursion (MU
operator) is verified.

(2) Test_infinite.thy

The refinement relation between processes with infinite states is
verified.