Theory FNF_F_Main

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

theory FNF_F_Main
imports FNF_F_nf FNF_F_nf_id
begin

end