SetTheoryPackage:
CONFIG
IMPORTS Atom, IntStuff, List, Process, Rope, RopeHash, RuntimeError
EXPORTS ALL
CONTROL SetsAndStuffLocking, HashTablesImpl, CollectionsImpl, StdCollections, HashCollectionsPrivateImpl, HashCollectionsPublicImpl, PairCollectionsImpl, StdPairCollections1, StdPairCollections2, HashPairCollectionsPrivateImpl, HashPairCollectionsPublicImpl, StdPairCollections3, StdPairCollections4, StdPairCollections5, IntFunctionsImpl, StdIntFunctions1, StdIntFunctions2, StdIntFunctions3, StdIntFunctions4, StdIntFunctions5, StdIntFunctions6, StdIntFunctions7
= {SetsAndStuffLocking; HashTablesImpl; CollectionsImpl; StdCollections; HashCollectionsPrivateImpl; HashCollectionsPublicImpl; PairCollectionsImpl; StdPairCollections1; StdPairCollections2; HashPairCollectionsPrivateImpl; HashPairCollectionsPublicImpl; StdPairCollections3; StdPairCollections4; StdPairCollections5; IntFunctionsImpl; StdIntFunctions1; StdIntFunctions2; StdIntFunctions3; StdIntFunctions4; StdIntFunctions5; StdIntFunctions6; StdIntFunctions7}.