Theory CSP_law_fp_cpo

           (*-------------------------------------------*
            |                CSP-Prover                 |
            |               December 2004               |
            |        Yoshinao Isobe (AIST JAPAN)        |
            *-------------------------------------------*)

theory CSP_law_fp_cpo = CSP_proc_cpo:

(*****************************************************************

         1. cpo fixed point theory in CSP-Prover
         2.
         3.
         4. 

 *****************************************************************)


(* Currently, "CSP_law_fp_cms" based on cms is used *)
(* this "CSP_law_fp_cpo" will be available soon     *)

end