Theory Infra

Up to index of Isabelle/HOL/HOL-Complex/CSP

theory Infra
imports Infra_type Infra_pair Infra_set Infra_exp Infra_prog Infra_HOL
begin

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

theory Infra
imports Infra_type Infra_fun Infra_pair
        Infra_set  Infra_exp Infra_prog
        Infra_HOL
begin

end