+
+ <key name="include">Arith/EqNat Init/Prelude</key>
+ <key name="include">Arith/Even Init/Prelude</key>
+ <key name="include">Arith/Le Init/Prelude</key>
+ <key name="include">Bool/Bool Init/Prelude</key>
+ <key name="include">Bool/DecBool Init/Prelude</key>
+ <key name="include">Bool/Sumbool Init/Prelude</key>
+ <key name="include">Lists/Streams Init/Prelude</key>
+ <key name="include">Logic/Berardi Init/Prelude</key>
+ <key name="include">Logic/ChoiceFacts Init/Prelude</key>
+ <key name="include">Logic/ClassicalFacts Init/Prelude</key>
+ <key name="include">Logic/Decidable Init/Prelude</key>
+ <key name="include">Logic/Eqdep Init/Prelude</key>
+ <key name="include">Logic/Eqdep_dec Init/Prelude</key>
+ <key name="include">Logic/Hurkens Init/Prelude</key>
+ <key name="include">Logic/RelationalChoice Init/Prelude</key>
+ <key name="include">NArith/BinPos Init/Prelude</key>
+ <key name="include">Relations/Relation_Definitions Init/Prelude</key>
+ <key name="include">Relations/Rstar Init/Prelude</key>
+ <key name="include">Setoids/Setoid Init/Prelude</key>
+ <key name="include">Sets/Ensembles Init/Prelude</key>
+ <key name="include">Sets/Permut Init/Prelude</key>
+ <key name="include">Sets/Relations_1 Init/Prelude</key>
+ <key name="include">Wellfounded/Inverse_Image Init/Prelude</key>