--- /dev/null
+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.