Theory DFP_Main

           (*-------------------------------------------*
            |                DFP package                |
            |                 June 2005                 |
            |        Yoshinao Isobe (AIST JAPAN)        |
            *-------------------------------------------*)

theory DFP_Main
imports DFP_Proof_Rule1 DFP_DFtick
begin

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

         1. DFP package
         2.
         3. 
         4. 

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

end