Theory FNF_F

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

theory FNF_F
imports FNF_F_Main CSP_F
           (*-------------------------------------------*
            |      Full Normal Form on CSP-Prover       |
            |                  March 2006               |
            |                  April 2007  (modified)   |
            |                                           |
            |        CSP-Prover on Isabelle2009         |
            |                 June 2009  (modified)     |
            |                                           |
            |        CSP-Prover on Isabelle2009-1       |
            |                January 2010  (modified)   |
            |                                           |
            |        Yoshinao Isobe (AIST JAPAN)        |
            *-------------------------------------------*)

theory FNF_F
imports FNF_F_Main CSP_F
begin

end