Require Export Xml.

Require Classical.
Require Classical_Pred_Set.
Require Classical_Pred_Type.
Require Classical_Prop.
Require Classical_Type.
Require Eqdep.
Require Eqdep_dec.

Print XML Module Disk "examples" Classical.
Print XML Module Disk "examples" Classical_Pred_Set.
Print XML Module Disk "examples" Classical_Pred_Type.
Print XML Module Disk "examples" Classical_Prop.
Print XML Module Disk "examples" Classical_Type.
Print XML Module Disk "examples" Eqdep.
Print XML Module Disk "examples" Eqdep_dec.