Theory DFP

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

theory DFP
imports DFP_Main CSP_F

           (*-------------------------------------------*
            |                DFP package                |
            |                 June 2005                 |
            |                                           |
            |        CSP-Prover on Isabelle2009         |
            |                 June 2009  (modified)     |
            |                                           |
            |        Yoshinao Isobe (AIST JAPAN)        |
            *-------------------------------------------*)

theory DFP
imports DFP_Main CSP_F
begin

(*****************************************************************

         1. DFP package
         2.
         3. 
         4. 

 *****************************************************************)

end