Theory FNF_F

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

theory FNF_F = CSP_F + FNF_F_nf + FNF_F_nf_id:

end