Theory CSP_Main

           (*-------------------------------------------*
            |        CSP-Prover on Isabelle2004         |
            |                  July 2005                |
            |                                           |
            |        CSP-Prover on Isabelle2005         |
            |                October 2005  (modified)   |
            |                                           |
            |        CSP-Prover on Isabelle2008         |
            |                   June 2008  (modified)   |
            |                                           |
            |        Yoshinao Isobe (AIST JAPAN)        |
            *-------------------------------------------*)

theory CSP_Main
imports CSP_syntax
        Trace_op
        CPO_pair  CPO_prod  CPO_set 
        RS_pair  RS_prod
begin

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

         1. Reusable part of CSP-Prover
         2.
         3. 
         4. 

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

end