<> <> <> CoreBoolePackage: CONFIGURATION IMPORTS CoreOps, CoreProperties, FS, IO, Rope, RopeList, TerminalIO EXPORTS CoreBoole, CoreBooleExtras CONTROL CoreBooleImpl, CoreBooleExtrasImpl = BEGIN CoreBooleImpl; CoreBooleExtrasImpl; END.