MakeCoreBoole.cm
Bertrand Serlet January 20, 1986 3:18:57 pm PST
MakeDo CoreBoolePackage CoreBooleTest