Theory FNF_F

Up to index of Isabelle/HOL/HOL-Complex/CSP/CSP_T/CSP_F/FNF_F

theory FNF_F
imports FNF_F_nf FNF_F_nf_id
begin

           (*-------------------------------------------*
            |      Full Normal Form on CSP-Prover       |
            |                  March 2006               |
            |                  April 2007  (modified)   |
            |                                           |
            |        Yoshinao Isobe (AIST JAPAN)        |
            *-------------------------------------------*)

theory FNF_F
imports FNF_F_nf FNF_F_nf_id
begin

end