Boole.install
Copyright Ó 1987 by Xerox Corporation. All rights reserved.
Bertrand Serlet April 2, 1987 9:34:15 pm PST
Barth, April 2, 1987 11:40:47 am PST
Install CellLibraries
Run BoolePackage