Theory FNF_F

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

theory FNF_F
imports FNF_F_Main CSP_F
begin

end