Theory CSP

Up to index of Isabelle/HOL/CSP

theory CSP
imports CSP_Main CSP_xsymbols
           (*-------------------------------------------*
            |        CSP-Prover on Isabelle2004         |
            |                  July 2005                |
            |                                           |
            |        CSP-Prover on Isabelle2005         |
            |                October 2005  (modified)   |
            |                                           |
            |        CSP-Prover on Isabelle2008         |
            |                   June 2008  (modified)   |
            |                                           |
            |        CSP-Prover on Isabelle2009         |
            |                   June 2009  (modified)   |
            |                                           |
            |        CSP-Prover on Isabelle2009-1       |
            |                January 2010  (modified)   |
            |                                           |
            |        Yoshinao Isobe (AIST JAPAN)        |
            *-------------------------------------------*)

theory CSP
imports CSP_Main CSP_xsymbols
begin

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

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

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

end