CoreBoole.load
Bertrand Serlet January 20, 1986 2:54:01 pm PST
Core
TerminalIO
Run CoreBoolePackage